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)


  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]