Absicherung sicherheitskritischer Systeme - formale Verifikation
Secure safety critical systems - formal verification.
Elektronik automotive ; 1/2
2009
1 pages
Elektronik automotive;(2009)1/2 ;26
Article (Journal)
German
Absicherung sicherheitskritischer Assistenzsysteme — Durchgängig und nachvoliziehbar
British Library Conference Proceedings | 2016
|Strukturtreue Modellierung sicherheitskritischer Systeme
VDE-Verlag | 2015
|European Patent Office | 2019
|Zur Realisierung paralleler Dekomposition sicherheitskritischer Systeme
VDE-Verlag | 2013
|Formale Verifikation von Spezifikations-Modellen
Tema Archive | 2001
|