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