Embedded system design  modeling, synthesis and verification /  [Book] : 
Daniel D. Gajski ... [et al.]. 
 - Dordrecht ; :  Springer,  c2009. 
 - xxiv, 352 p. :  ill. ;  24 cm. 
<br/><br/> All. 
<br/><br/><label>ISBN: </label>9781441905031 
<br/><br/><label>Nat. Bib. No.: </label>994910134  dnb 09,N28,0773  dnb 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Embedded computer systems--Design.<br/>Programmatuurtechniek<br/>Embedded systems<br/>Modellen (vorm)<br/>Eingebettetes System.
<br/><br/><label>Dewey Class. No.: </label>004.21