Geffert, A.; Dodinoiu, A.; Becker, U.:
Multiperspektivischer Ansatz zur domänenübergreifenden Formalisierung von Verlässlichkeit am Beispiel der fahrzeugautonomen Ortung.
Funktionale Sicherheit in der Bahntechnik, Automatisierung und Automobiltechnik. safe.tech 2019, Mai 2019.
1. Ortung mittels GNSS und Multi-Sensor-System 2. Messqualität und Verlässlichkeit 3. Petri-Netze 4. Domänenübergreifende Formalisierung