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]
Identifier
- DOI: 10.1016/j.ress.2019.02.005
- RWTH PUBLICATIONS: RWTH-CONV-236770