Title | Embedded System Design: Modeling, Synthesis and Verification |
---|---|
Author | Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer, Gunar Schirner (auth.) |
Year | 2009 |
Edition | 1 |
Volume | |
Series | |
Publisher | Springer US |
City | Dordrecht ; New York |
Language | English |