Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components / [electronic resource] :
by Gabriela Nicolescu, Ahmed Jerraya.
- Dordrecht : Springer Science+Business Media B.V., 2007.
- 1 online resource (xi, 148 p.) : ill., digital ; 24 cm.