Gå direkte til innholdet
High-Level System Modeling
Spar

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.
Undertittel
Specification Languages
Opplag
Softcover reprint of the original 1st ed. 1995
ISBN
9781461359739
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
27.9.2012
Antall sider
162