Drei Veröffentlichungen mit Beteiligung.
Um Ihnen das Referenzieren zu vereinfachen, können Sie eine .
(1272) |
Rüdiger, R.; Becker, U.: Formalization of train integrity monitoring systems. 3rd International Railway Symposium Aachen (IRSA), Aachen, November 2021. |
(1271) |
Rüdiger, R.; Lan, T.; Geffert, A.; Becker, U.: Formalization of localization units for train integrity monitoring. 27th ITS World Congress, Hamburg, October 2021. |
(1248) |
Geffert, A.; Dodinoiu, A.; Lan, T.; Rüdiger, R.; Becker, U.: Formalization of automation risks for dependability-based safeguarding of the nominal function. 9. Tagung Automatisiertes Fahren, November 2019. Lehrstuhl für Fahrzeugtechnik (TU München) mit TÜV SÜD Akademie. ( Kurzfassung ) |