Entwicklung und Analyse zeitgesteuerter Systeme
Betrachtung zur Software-Entwicklung im Eisenbahnbereich
Timing Verifikation von AUTOSAR Softwarearchitekturen
Eine agile Methode zur simulativen Qualitätssicherung von aktiven Sicherheitssystemen