Betrachtung zur Software-Entwicklung im Eisenbahnbereich
Spezifikation eines Testwerkzeugs für die automatisierte Prüfung von LST-Planungsdaten im XML-Format
Entwicklung der Forschungssoftware RCE im DLR
Safe software development for a video-based train detection system in accordance with EN 50128
Timing Verifikation von AUTOSAR Softwarearchitekturen
Eine agile Methode zur simulativen Qualitätssicherung von aktiven Sicherheitssystemen
Building secure cars : assuring the automotive software development lifecycle