Global specification and validation of embedded systems : integrating heterogeneous components /

Nicolescu, G.

Global specification and validation of embedded systems : integrating heterogeneous components / by G. Nicolescu and A.A. Jerraya - Dordrecht : Springer, c2007 - xi, 148 p. : ill. ; 25 cm.

Includes bibliographical references and index

9781402061516 (hbk.) 9781402061530 (e-book)


Embedded computer systems
Heterogeneous computing
Computer programs--Validation

Perpustakaan Universiti Malaysia Pahang Al-Sultan Abdullah
26600 Pekan, Pahang Darul Makmur
Phone: +609 431 5063 (Gambang) / +609 431 5035 (Pekan)
Email: umplibrary@umpsa.edu.my

Connect With Us