TY  - RPRT
TI  - Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees
AU  - Nathalie Cauchi
AU  - Khaza Anuarul Hoque
AU  - Alessandro Abate
AU  - Marielle Stoelinga
PY  - 2018
UR  - https://arxiv.org/abs/1801.04263
ID  - 1801.04263
ER  -