Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, Mariëlle Stoelinga. Efficient probabilistic model checking of smart building maintenance using fault maintenance trees. In Kamin Whitehouse, Prabal Dutta, Hae Young Noh, editors, Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments, BuildSys 2017, Delft, The Netherlands, November 08-09, 2017. ACM, 2017. [doi]
Abstract is missing.