Hybrid systems
Subtitle: computation and control, 12th International Conference, HSCC 2009, San Francisco, Ca, USA, April 13-15, 2009 : proceedings / Rupak Majumdar, Paulo Tabuada (eds.).
Contributors: Majumdar, Rupak; Tabuada, Paulo
Series: Lecture notes in computer science -- 5469; LNCS sublibrary: SL 1 - Theoretical computer science and general issues; Lecture notes in computer science -- 5469.; LNCS sublibrary
Publisher: Springer
Published: 2009
Place of publication: Berlin; New York
Language: eng
Number of pages: 492
ISBN-13: 9783642006012
Subjects: Hybrid computers; Hybridrechner; Congresses; Hybrides System; Kongress
Other titles: HSCC 2009
Notes: Includes bibliographical references and index.