Andre, Etienne <br/><br/>
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 .
<br/><br/>Includes bibliographical references 
<br/><br/><label>ISBN: </label>9781848214477  RM305.83 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer systems--Verification<br/>Embedded computer systems