
Formal Specification Level
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL).
- Undertitel
- Concepts, Methods, and Algorithms
- Författare
- Mathias Soeken, Rolf Drechsler
- ISBN
- 9783319086989
- Språk
- Engelska
- Vikt
- 446 gram
- Utgivningsdatum
- 2014-11-28
- Sidor
- 138
