Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees
Khan, Shahid (Corresponding author); Katoen, Joost-Pieter (Corresponding author); Volk, Matthias (Corresponding author); Zafar, Ahmad (Corresponding author); Sher, Falak (Corresponding author)
Piscataway, NJ : IEEE (2021)
Contribution to a book, Contribution to a conference proceedings
In: 2021 10th Latin-American Symposium on Dependable Computing (LADC) : proceedings : virtual conference, 22-26 November 2021 / publisher: IEEE ; general chair: Antônio Augusto Fröhlich (UFSC), publication chair: Augusto José Venâncio Neto (UFRN)
Institutions
- UnRAVeL Research Training Group [080060]
- Department of Computer Science [120000]
- Chair of Computer Science 2 (Software Modeling and Verification) [121310]
Identifier
- DOI: 10.1109/LADC53747.2021.9672579
- RWTH PUBLICATIONS: RWTH-2022-01615