TY  - BOOK
AU  - Gajski, Daniel D.
TI  - Embedded System Design: Modeling Synthesis and Verification 
SN  - 9788132211068
U1  - 004.16 
PY  - 2006///
CY  - New York
PB  - Springer Education, 
KW  - Introduction
KW  - System Design Methodologies
N1  - Index
ER  -