59 citations · 59 across the 1 of their papers we have counts for
1 paper
Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen +2
This paper considers the design-phase safety analysis of vehicle guidance systems. The proposed approach constructs dynamic fault trees (DFTs) to model a variety of safety concepts…