• search hit 8 of 10
Back to Result List

Formale Spezifikation reaktiver Systeme mit einer Sicherheitsfachsprache

A Technical Language for Formal Safety Specification of Reactive Systems

Export metadata

Additional Services

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