Verification of Digital and Hybrid Systems
Publisher: Springer London, Limited
Published: 2011
Language: eng
Number of pages: 405
ISBN-13: 9783642640520
Subjects: Operating systems (computers)