Formal methods and models for system design : a system level pers pective - Gupta, Rajesh Kumar, 1961- (Boston : Kluwer Academic Publishers, 2004)
Includes bibliographical references.
Keywords: System design; Mathematical models