Login / Signup
Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees.
Shahid Khan
Joost-Pieter Katoen
Matthias Volk
Muhammad Ahmad Zafar
Falak Sher
Published in:
LADC (2021)
Keyphrases
</>
data sets
data analysis
statistical analysis
fault diagnosis
website
real time
neural network
learning algorithm
case study
database systems
multiresolution
dynamic environments
fault detection