Dynamic fault trees: semantics, analysis and applications (English)
- New search for: Volk, Matthias
- Further information on Volk, Matthias:
- https://orcid.org/0000-0002-3810-4185
- New search for: Volk, Matthias
- Further information on Volk, Matthias:
- https://orcid.org/0000-0002-3810-4185
- New search for: Katoen, Joost-Pieter
- Further information on Katoen, Joost-Pieter:
- https://orcid.org/0000-0002-6143-1926
- New search for: Cimatti, Alessandro
2023
- Miscellaneous / Electronic Resource
-
Title:Dynamic fault trees: semantics, analysis and applications
-
Contributors:
-
Publisher:
- New search for: RWTH Aachen University
-
Publication date:2023-01-01
-
Size:Online-Ressource : Illustrationen pages
-
Remarks:Dissertation, RWTH Aachen University, 2022; Aachen : RWTH Aachen University Online-Ressource : Illustrationen (2023). = Dissertation, RWTH Aachen University, 2022
-
DOI:
-
Type of media:Miscellaneous
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source: