
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).
- Undertittel
- Concepts, Methods, and Algorithms
- Forfatter
- Mathias Soeken, Rolf Drechsler
- ISBN
- 9783319086989
- Språk
- Engelsk
- Vekt
- 446 gram
- Utgivelsesdato
- 28.11.2014
- Antall sider
- 138
