Vermeidung systematischer Softwarefehler durch den Einsatz formaler Methoden für das ESTW B950
Eisenbahntechnische Rundschau <Hamburg> ; 54 , 3 ; 111-116
2005
Aufsatz (Zeitschrift)
Deutsch
Migration des ESTW B950 - Release 2.0 in Mannheim-Rheinau
IuD Bahn | 2009
|Weniger Softwarefehler dank statischer Analyse
Kraftfahrwesen | 2016
|Softwarefehler mit statischen Analysetools reduzieren
Kraftfahrwesen | 2015
|