Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees

Shahid Khan, Joost-pieter Katoen, Matthias Volk, Ahmad Zafar, Falak Sher

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)
119 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees'. Together they form a unique fingerprint.

Computer Science