TY  - BOOK
AU  - Gajski, Daniel D.
AU  - Gerstlauer, Andreas
AU  - Abdi, Samar
TI  - Embedded System Design: Modeling, Synthesis and Verification
SN  - 9781441905031
U1  - 004.16 
PY  - 2009///
CY  - Dordrecht
PB  - Springer
KW  - Computer Engineering
N1  - Introduction System Design Methodologies Modeling System Synthesis Software Synthesis Hardware Synthesis Verification Embedded Design Practice References Index
ER  -