Embedded system design : modeling, synthesis and verification /

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

Bibliographic Details
Main Author: Gajski, Daniel D.
Format:
Language:eng
Published: Dordrecht ; New York : Springer, c200
Subjects: