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

In: Reliability engineering & system safety
Volume: 186
Page(s)/Article-Nr.: 37-50

Institutions

• UnRAVeL Research Training Group [080060]
• Department of Computer Science [120000]
• Chair of Computer Science 2 (Software Modeling and Verification) [121310]