Formale Spezifikation reaktiver Systeme mit einer Sicherheitsfachsprache
A Technical Language for Formal Safety Specification of Reactive Systems
Verfasserangaben: | Thomas Mertke |
---|---|
ISBN: | 3-8322-3085-8 |
Verlag: | Shaker Verlag |
Verlagsort: | Aachen |
Dokumentart: | Dissertation |
Sprache: | Deutsch |
Erscheinungsjahr: | 2004 |
Seitenzahl: | XV, 225 |
Schriftenreihe ; Bandnummer: | Berichte aus der Informatik |
Fakultät / Fachgebiet: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit |