guest ::
Dynamic fault tree analysis using binary decision diagrams
2020 & 2021
Bachelorarbeit, RWTH Aachen University, 2020
Veröffentlicht auf dem Publikationsserver der RWTH Aachen University 2021
Genehmigende Fakultät
Fak01
Hauptberichter/Gutachter
; ; ;
Tag der mündlichen Prüfung/Habilitation
2020-09-24
Online
DOI: 10.18154/RWTH-2021-03715
URL: https://publications.rwth-aachen.de/record/817132/files/817132.pdf
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Thematische Einordnung (Klassifikation)
DDC: 004
OpenAccess: 
PDF
Dokumenttyp
Bachelor Thesis
Format
online, print
Sprache
English
Interne Identnummern
RWTH-2021-03715
Datensatz-ID: 817132
Beteiligte Länder
Germany
Record created 2021-04-12, last modified 2021-10-13
OpenAccess:
PDF
PDF