Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees
Khaza Anuarul Hoque Alessandro Abate Carlos E. Budde Nathalie Cauchi and Mariëlle Stoelinga
Book Title
Proceedings of the European Conference of the PHM Society
Number
1
Organisation
PHM society
Volume
4
Year
2018