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

Κύριος συγγραφέας: Nicolescu, G.
Άλλοι συγγραφείς: Jerraya, Ahmed A.
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Dordrecht : Springer, c2007
Θέματα: