Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees. Abate, A., Budde, C. E, Cauchi, N., Hoque, K. A., & Stoelinga, M. In Proceedings of the European Conference of the PHM Society, volume 4, 2018.
Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees [pdf]Paper  bibtex   

Downloads: 0