Embedded System Design Modeling, synthesis and verification

Gajski, Daniel D.

Embedded System Design Modeling, synthesis and verification by Daniel D. Gajski and others - New Delhi Springer c2006. - xxiv, 352 p. ill. 24 cm.

Includes bibliographical references (p. [335]-347) and index.

9788132211068


Embedded computer systems--Design and construction.
Embedded systems

004.21 / G129E