Details
- Autor(en) / Beteiligte
- Titel
- Reactive systems : modelling, specification and verification
- Ort / Verlag
- Cambridge [u.a.] : Cambridge Univ. Press
- Erscheinungsjahr
- 2007
- Link zu anderen Inhalten
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9780521875462OCLC-Nummer: 255599971, 255599971Titel-ID: 990009746250106463
- Format
- XVI, 284 S. : graph. Darst.
- Systemstelle
- TWT, TVU
- Schlagworte
- Reaktives System, Nebenläufigkeit, Formale Spezifikationstechnik, Verifikation, Expert systems (Computer science), System design