Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components - Nicolescu, Gabriela; Jerraya, Ahmed; SpringerLink (Online service) (Dordrecht : Springer Science+Business Media B.V., 2007)
Keywords: Embedded computer systems; Heterogeneous computing; Computer programs -- Validation