Safety analysis for vehicle guidance systems with dynamic fault trees

Ghadhab, Majdi; Junges, Sebastian (Corresponding author); Katoen, Joost-Pieter; Kuntz, Matthias; Volk, Matthias

London [u.a.] / Elsevier Science (2019) [Journal Article]

Reliability engineering & system safety
Volume: 186
Page(s): 37-50

Identifier