Concurrency in model-based statistical testing of embedded systems in the automotive domain
Schlussbericht zu "Verbundprojekt: Virtuelles Spinnen - VISPI; Teilvorhaben: Materialdatenbank"
Sensorik für eine automatisierbare Zugbildung und Zugtrennung