Dynamic fault tree analysis using binary decision diagrams

Basgöze, Daniel; Katoen, Joost-Pieter (Thesis advisor); Noll, Thomas (Thesis advisor); Volk, Matthias (Consultant); Khan, Shahid (Consultant)

Aachen (2020, 2021)
Bachelorarbeit

Bachelorarbeit, RWTH Aachen University, 2020

Einrichtungen

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

Identifikationsnummern

Downloads