Title: The Inverse Method Parametric Verification Of Realtime Unbedded Systems
Subjects: Embedded computer systems, Computer systems, Verification