TY  - BOOK
AU  - Gajski,Daniel D.
TI  - Embedded system design: modeling, synthesis and verification 
SN  - 9781441905031(pbk.)
U1  - 004.21 
PY  - 2013///
CY  - New Delhi
PB  - Springer
KW  - Embedded computer systems
KW  - Design and construction
KW  - Programmatuurtechniek
KW  - Embedded systems
KW  - Modellen (vorm)
KW  - Eingebettetes System
N1  - Includes bibliographical references (p. [335]-347) and index; Chapter 1: Introduction------------------------------
Chapter 2: System Design Methodologies-------------------------
Chapter 3: Modeling-----------------------------
Chapter 4: System synthesis------------------------
Chapter 5: Software Synthesis----------------------------
Chapter 6: Hardware Synthesis---------------------------
Chapter 7: Verification--------------------------
Chapter 8: Embedded Design Practice-------------------------
ER  -