TY  - BOOK
AU  - Gajski, Daniel
TI  - Embedded system design: modeling, synthesis and verification
SN  - 9788132211068
U1  - 004.21 GAJ-D 
PY  - 2013///
CY  - India
PB  - Springer
KW  - Engineeringﾠ
KW  - Computer-aided designﾠ
KW  - Systems engineeringﾠ
KW  - Software engineeringﾠ
KW  - Embedded computer systems--Design and constructionﾠ
ER  -