Absicherung sicherheitskritischer Systeme - formale Verifikation
Secure safety critical systems - formal verification.
Elektronik automotive ; 1/2
2009
1 pages
Elektronik automotive;(2009)1/2 ;26
Aufsatz (Zeitschrift)
Deutsch
Absicherung sicherheitskritischer Assistenzsysteme — Durchgängig und nachvoliziehbar
British Library Conference Proceedings | 2016
|Strukturtreue Modellierung sicherheitskritischer Systeme
VDE-Verlag | 2015
|Zur Realisierung paralleler Dekomposition sicherheitskritischer Systeme
VDE-Verlag | 2013
|Europäisches Patentamt | 2019
|Formale Verifikation von Spezifikations-Modellen
Tema Archiv | 2001
|