Andre, Etienne . , <br/><br/>
The inverse method :  parametric verification of real-time embedded systems / 
Etienne Andre, Romain Soulat. 
 - xviii, 150 pages :  illustrations ;  24 cm. 
 - Focus series in computer engineering and IT .
<br/><br/><label>ISBN: </label>9781848214477 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Embedded computer systems.<br/>Computer systems--Verification.<br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>TK7895.E42   / .A52 2012