Embedded system design : modeling, synthesis and verification
| Other Authors: | Gajski, Daniel D |
|---|---|
| Language: | English |
| Published: |
Dordrecht:
Springer,
2009.
|
| Subjects: |