TY  - BOOK
AU  - Santanu Chattopadhyay
AU  - Gajski,Daniel D.
TI  - Embedded system design: modeling, synthesis and verification 
SN  - 9788120340244
AV  - TK7895.E42 E614 2009
U1  - 004.16 
PY  - 2009///
CY  - Dordrecht, New York
PB  - Springer
KW  - Embedded computer systems
KW  - Design and construction
KW  - Programmatuurtechniek
KW  - gtt
KW  - Embedded systems
KW  - Modellen (vorm)
KW  - Eingebettetes System
KW  - swd
N1  - Includes bibliographical references (p. [335]-347) and index
ER  -