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)
Buchbeitrag, Beitrag zu einem Tagungsband

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)

Einrichtungen

  • Graduiertenkolleg UnRAVeL [080060]
  • Fachgruppe Informatik [120000]
  • Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]

Identifikationsnummern