Inverse Method
Subtitle: Parametric Verification of Real-Time Unbedded Systems
Publisher: Wiley & Sons, Incorporated, John
Published: 2013
Language: eng
ISBN-13: 9781299242142
Subjects: Embedded computer systems; Operating systems (computers)