|
[ABC+18]
Alessandro Abate, Carlos Budde, Nathalie Cauchi, Khaza Anuarul Hoque and Mariëlle Stoelinga.
Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees.
In Proc. 4th European Conference of the Prognostics and Health Management Society (PHME'18).
2018.
[Formally analyses maintenance policies for smart buildings using a variety of verification tools, including PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|