@inproceedings{abate2018assessment,
  title={Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees},
  author={Abate, Alessandro and Budde, Carlos E and Cauchi, Nathalie and Hoque, Khaza Anuarul and Stoelinga, Mari{\"e}lle},
  booktitle={Proceedings of the European Conference of the PHM Society},
  volume={4},
  number={1},
  year={2018},
  url_Paper =  {papers/PHME2018.pdf}
}

{"_id":"2yiWNfyT47eh899Zu","bibbaseid":"abate-budde-cauchi-hoque-stoelinga-assessmentofmaintenancepoliciesforsmartbuildingsapplicationofformalmethodstofaultmaintenancetrees-2018","authorIDs":["htvCmvEBSwLbxozzn"],"author_short":["Abate, A.","Budde, C. E","Cauchi, N.","Hoque, K. A.","Stoelinga, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees","author":[{"propositions":[],"lastnames":["Abate"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Budde"],"firstnames":["Carlos","E"],"suffixes":[]},{"propositions":[],"lastnames":["Cauchi"],"firstnames":["Nathalie"],"suffixes":[]},{"propositions":[],"lastnames":["Hoque"],"firstnames":["Khaza","Anuarul"],"suffixes":[]},{"propositions":[],"lastnames":["Stoelinga"],"firstnames":["Mariëlle"],"suffixes":[]}],"booktitle":"Proceedings of the European Conference of the PHM Society","volume":"4","number":"1","year":"2018","url_paper":"papers/PHME2018.pdf","bibtex":"@inproceedings{abate2018assessment,\n title={Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees},\n author={Abate, Alessandro and Budde, Carlos E and Cauchi, Nathalie and Hoque, Khaza Anuarul and Stoelinga, Mari{\\\"e}lle},\n booktitle={Proceedings of the European Conference of the PHM Society},\n volume={4},\n number={1},\n year={2018},\n url_Paper = {papers/PHME2018.pdf}\n}\n\n","author_short":["Abate, A.","Budde, C. E","Cauchi, N.","Hoque, K. A.","Stoelinga, M."],"key":"abate2018assessment","id":"abate2018assessment","bibbaseid":"abate-budde-cauchi-hoque-stoelinga-assessmentofmaintenancepoliciesforsmartbuildingsapplicationofformalmethodstofaultmaintenancetrees-2018","role":"author","urls":{" paper":"diner007.github.io/papers/PHME2018.pdf"},"metadata":{"authorlinks":{"hoque, k":"https://www.kahoque.com/"}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"diner007.github.io/ref.bib","creationDate":"2020-11-29T18:55:51.656Z","downloads":0,"keywords":[],"search_terms":["assessment","maintenance","policies","smart","buildings","application","formal","methods","fault","maintenance","trees","abate","budde","cauchi","hoque","stoelinga"],"title":"Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees","year":2018,"dataSources":["6YYKW9kmn2TAMQtCF","Gash8qyff28DoHD7j"]}