TY  - BOOK
AU  - Gajski, Daniel D.
AU  - Abdi, Samar
AU  - Gerstlauer, Andreas
AU  - Schirner, Gunar
TI  - Embedded System Design: Modeling, synthesis and verification
SN  - 9788132211068
U1  - 004.21 
PY  - 2006///
CY  - New Delhi
PB  - Springer
KW  - Embedded computer systems
KW  - Design and construction
KW  - Embedded systems
N1  - Includes bibliographical references (p. [335]-347) and index
ER  -