TY  - BOOK
AU  - Gajski,Daniel D.
TI  - Embedded system design: modeling, synthesis and verification 
SN  - 9781441905031(hbk.)
U1  - 004.031.6 
PY  - 2013///
CY  - Dordrecht, New Delhi
PB  - Springer
KW  - Embedded computer systems
KW  - Design and construction
KW  - Programmatuurtechniek
KW  - Embedded systems
KW  - Modellen (vorm)
KW  - Eingebettetes System
ER  -