Siirry suoraan sisältöön
High-Level System Modeling
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
Painos
Softcover reprint of the original 1st ed. 1995
ISBN
9781461359739
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
27.9.2012
Sivumäärä
162