The inverse method parametric verification of real-time embedded systems
Andre, Etienne
The inverse method parametric verification of real-time embedded systems Etienne Andre, Romain Soulat - New Jersey John Wiley&Sons 2013 - viii, 150p. ill. 24cm. - Focus computer engineering and it series .
Includes bibliographical references
9781848214477 RM305.83
Computer systems--Verification
Embedded computer systems
The inverse method parametric verification of real-time embedded systems Etienne Andre, Romain Soulat - New Jersey John Wiley&Sons 2013 - viii, 150p. ill. 24cm. - Focus computer engineering and it series .
Includes bibliographical references
9781848214477 RM305.83
Computer systems--Verification
Embedded computer systems