Spezifikation eines Testwerkzeugs für die automatisierte Prüfung von LST-Planungsdaten im XML-Format
Specification of Distributed Computing for Small Satellite Control
Validating Machine Learning-based Highly Automated Driving Functions by Diversity
Timing Verifikation von AUTOSAR Softwarearchitekturen
Eine agile Methode zur simulativen Qualitätssicherung von aktiven Sicherheitssystemen
Agile Software-Produktlinienentwicklung im Kontext heterogener Projektlandschaften