Tallenna
High-Level System Modeling
Examples of reactive systems are network protocols, air-traffic control systems, industrial-process control systems etc. Specification modeling is an important stage in reactive system design where the designer specifies the desired properties of the reactive system in the form of a specification model.
- Alaotsikko
- Specification Languages
- Toimittaja
- Jean-Michel Bergé, Oz Levia, Jacques Rouillard
- Painos
- Softcover reprint of the original 1st ed. 1995
- ISBN
- 9781461359739
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 27.9.2012
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 162
