Jerraya, Ahmed A. , <br/><br/>
Global specification and validation of embedded systems :  integrating heterogenous components / 
Ahmed A. Jerraya, G. Nicolescu. 
 - xi, 148 pages :  illustrations ;  25 cm. 
<br/><br/><label>ISBN: </label>140206151X 9781402061516 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Embedded computer systems.<br/>Heterogeneous computing.<br/>Computer programs --Validation.
<br/><br/><label>LC Class. No.: </label>TK7895.E42   / .J47 2007