- search hit 1 of 1
Eine anwenderorientierte Sicherheitsfachsprache zur Verifikation von Steuerungsprogrammen
Author: | Thomas Mertke, Peter H. Deussen, Monika HeinerORCiD |
---|---|
Document Type: | Conference Proceeding |
Language: | German |
Year of publication: | 2001 |
Quelle aus UBICO: | EKA 2001, 7. Fachtagung, Braunschweig, April 2001, TU Braunschweig, pp. 297-309, ISBN 3-9803363-6-0 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit |
Institution name at the time of publication: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Informatik / Datenstrukturen und Softwarezuverlässigkeit |