Safe software development for a video-based train detection system in accordance with EN 50128
Specification of Distributed Computing for Small Satellite Control
Spezifikation eines Testwerkzeugs für die automatisierte Prüfung von LST-Planungsdaten im XML-Format
Timing Verifikation von AUTOSAR Softwarearchitekturen
Validating Machine Learning-based Highly Automated Driving Functions by Diversity