
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
- Painos
- Softcover reprint of the original 1st ed. 2015
- ISBN
- 9783319378824
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 23.8.2016
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 138