Media type: E-Book; Thesis Title: Dynamic fault tree analysis using binary decision diagrams Contributor: Basgöze, Daniel [Author]; Volk, Matthias [Author]; Khan, Shahid [Author]; Katoen, Joost-Pieter [Degree supervisor]; Noll, Thomas [Degree supervisor] Published: Aachen: Universitätsbibliothek der RWTH Aachen, 2020 Extent: 1 Online-Ressource Language: English DOI: 10.18154/RWTH-2021-03715 Identifier: Keywords: Hochschulschrift Origination: University thesis: Bachelorarbeit, RWTH Aachen University, 2020 Footnote: Access State: Open Access