Embedded system design : modeling, synthesis and verification
Other Authors: | Gajski, Daniel D |
---|---|
Language: | English |
Published: |
Dordrecht:
Springer,
2009.
|
Subjects: |
Physical Description: |
xxiv, 352 p.; 24 cm. |
---|---|
Bibliography: |
Includes bibliographical references and index |
ISBN: |
9781441905031 (hbk.) |