Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees

Alessandro Abate, Carlos Esteban Budde, Nathalie Cauchi, Khaza Anuarul Hoque, Mariëlle I.A. Stoelinga

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    80 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees'. Together they form a unique fingerprint.

    Engineering & Materials Science