• Treffer 8 von 10
Zurück zur Trefferliste

Formale Spezifikation reaktiver Systeme mit einer Sicherheitsfachsprache

A Technical Language for Formal Safety Specification of Reactive Systems

Metadaten exportieren

Weitere Dienste

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