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