Global Specification and Validation of Embedded Systems [E-Book] : Integrating Heterogeneous Components / edited by G. Nicolescu, A. A. Jerraya.
Nicolescu, G.
Jerraya, A. A.
Dordrecht : Springer Netherlands, 2007.
online resource
9781402061530
Full Text
Description not available.