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)
Fachzeitschriftenartikel
In: Reliability engineering & system safety
Band: 186
Seite(n)/Artikel-Nr.: 37-50
Einrichtungen
- Graduiertenkolleg UnRAVeL [080060]
- Fachgruppe Informatik [120000]
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]
Identifikationsnummern
- DOI: 10.1016/j.ress.2019.02.005
- RWTH PUBLICATIONS: RWTH-CONV-236770