TY  - BOOK
AU  - Nicolescu,G.
AU  - Jerraya,Ahmed A.
TI  - Global specification and validation of embedded systems: integrating heterogeneous components 
SN  - 9781402061516 (hbk.)
PY  - 2007///
CY  - Dordrecht
PB  - Springer
KW  - Embedded computer systems
KW  - Heterogeneous computing
KW  - Computer programs
KW  - Validation
N1  - Includes bibliographical references and index
ER  -