Formal methods and models for system design
Subtitle: a system level perspective
By: edited by Rajesh Gupta ... [et al.].
Contributors: Gupta, Rajesh Kumar, 1961-
Publisher: Kluwer Academic Publishers
Published: 2004
Place of publication: Boston
Language: eng
Number of pages: 372
Subjects: System design; Mathematical models