TY  - DATA
AU  - Nicolescu,G.
AU  - Jerraya,A.A.
ED  - SpringerLink (Online service)
TI  - Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components 
SN  - 9781402061530
AV  - TK7895.E42 	  N53 2007
PY  - 2007///
CY  - Dordrecht
PB  - Springer Netherlands
KW  - Engineering
KW  - Software engineering
KW  - Information theory
KW  - Computer simulation
KW  - Computer aided design
KW  - Systems engineering
KW  - Circuits and Systems
KW  - Computer-Aided Engineering (CAD, CAE) and Design
KW  - Simulation and Modeling
KW  - Theory of Computation
KW  - Special Purpose and Application-Based Systems
UR  - http://dx.doi.org/10.1007/978-1-4020-6153-0
ER  -