Vermeidung systematischer Softwarefehler durch den Einsatz formaler Methoden für das ESTW B950
2005
Article (Journal)
German
Migration des ESTW B950 - Release 2.0 in Mannheim-Rheinau
IuD Bahn | 2009
|Weniger Softwarefehler dank statischer Analyse
Automotive engineering | 2016
|Einsatz formaler Methoden zur Erhoehung der Sicherheit eingebetteter Systeme im Kfz
Automotive engineering | 1998
|