Formale Spezifikation reaktiver Systeme mit einer Sicherheitsfachsprache
A Technical Language for Formal Safety Specification of Reactive Systems
Author: | Thomas Mertke |
---|---|
ISBN: | 3-8322-3085-8 |
Publisher: | Shaker Verlag |
Place of publication: | Aachen |
Document Type: | Doctoral thesis |
Language: | German |
Year of publication: | 2004 |
Number of pages: | XV, 225 |
Series ; volume number: | Berichte aus der Informatik |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit |