Embedded system design : modeling, synthesis and verification
Gajski, Daniel D
Embedded system design : modeling, synthesis and verification - New Delhi Springer 2006 - xxiv, 352p. : ill.
Includes bibliographical references and index
9788132211068
Embedded system -- Design
Software synthesis
Embedded system design : modeling, synthesis and verification - New Delhi Springer 2006 - xxiv, 352p. : ill.
Includes bibliographical references and index
9788132211068
Embedded system -- Design
Software synthesis