TY  - BOOK
AU  - Nicolescu,Gabriela
AU  - Jerraya,Ahmed
ED  - SpringerLink (Online service)
TI  - Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components 
SN  - 9781402061530 (electronic bk.)
U1  - 004.21 22
PY  - 2007///
CY  - Dordrecht
PB  - Springer Science+Business Media B.V.
KW  - Embedded computer systems
KW  - Heterogeneous computing
KW  - Computer programs
KW  - Validation
UR  - http://dx.doi.org/10.1007/978-1-4020-6153-0
ER  -