Eckehard Schnieder
Hat mitgewirkt an:
-
Forms - Format 2010 : formal methods for automation and safety in railway and automotive systems
-
Optimierung einer induktiven Energieversorgungsinfrastruktur für den urbanen Straßenverkehr
-
Qualifizierung sicherheitsrelevanter satellitenbasierter Ortungssysteme für den Bodenverkehr
-
Performability Analysis and Validation of a Large Scale Fieldbus System by Formal Methods