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