Embedded system design : modeling, synthesis and verification / by Daniel D. Gajski ... [et al.].
Material type: TextPublication details: New Delhi: Springer, 2013Description: xxiv, 352 p. : ill. ; 24 cmISBN: 9781441905031(pbk.)Subject(s): Embedded computer systems -- Design and construction | Programmatuurtechniek | Embedded systems | Modellen (vorm) | Eingebettetes SystemDDC classification: 004.21Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | Namal Library Computer Science | 004.21 GAJ-E 2013 6128 (Browse shelf (Opens below)) | Available | 0006128 |
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-------------------------
There are no comments on this title.