Safety analysis for vehicle guidance systems with dynamic fault trees

Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk 0001. Safety analysis for vehicle guidance systems with dynamic fault trees. Rel. Eng. & Sys. Safety, 186:37-50, 2019. [doi]

Abstract

Abstract is missing.