A Modular Approach to Non-deterministic Dynamic Fault Trees

Müller, Sascha (Corresponding author); Jordon, Adeline; Gerndt, Andreas; Noll, Thomas

Cham : Springer International Publishing (2021)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Computer Safety, Reliability, and Security : 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings / edited by Ibrahim Habli, Mark Sujan, Friedemann Bitsch
Seite(n)/Artikel-Nr.: 243-257

Einrichtungen

  • Fachgruppe Informatik [120000]
  • Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]

Identifikationsnummern