
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).
- Alaotsikko
- Concepts, Methods, and Algorithms
- Kirjailija
- Mathias Soeken, Rolf Drechsler
- ISBN
- 9783319086989
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 28.11.2014
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 138