A Modular Approach to Non-deterministic Dynamic Fault Trees

Lecture notes in computer science, pp. 243–257

Authors 4

1. Sascha Müller

   Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)

   Affiliation as printed

   Institute for Software Technology, DLR (German Aerospace Center), Braunschweig, Germany

2. Adeline Jordon

   Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)

   Affiliation as printed

   Institute for Software Technology, DLR (German Aerospace Center), Braunschweig, Germany

3. Andreas Gerndt

   University of Bremen · Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)

   Affiliation as printed

   Institute for Software Technology, DLR (German Aerospace Center), Braunschweig, Germany

   University of Bremen, Bremen, Germany

4. Thomas Noll Aachen Software Modeling and Verification Group

   RWTH Aachen University

   Affiliation as printed

   Software Modeling and Verification Group, RWTH Aachen University, Aachen, Germany