• search hit 1 of 1
Back to Result List

Eine anwenderorientierte Sicherheitsfachsprache zur Verifikation von Steuerungsprogrammen

Export metadata

Additional Services

Search Google Scholar
Metadaten
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
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.