Spezifikation eines Testwerkzeugs für die automatisierte Prüfung von LST-Planungsdaten im XML-Format
Timing Verifikation von AUTOSAR Softwarearchitekturen
Eine agile Methode zur simulativen Qualitätssicherung von aktiven Sicherheitssystemen
Agile Software-Produktlinienentwicklung im Kontext heterogener Projektlandschaften
Betrachtung zur Software-Entwicklung im Eisenbahnbereich