[ACM Press the 4th ACM International Conference - Delft, Netherlands (2017.11.08-2017.11.09)] Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments - BuildSys '17 - Efficient probabilistic model checking of smart building maintenance using fault maintenance trees
Cauchi, Nathalie, Hoque, Khaza Anuarul, Abate, Alessandro, Stoelinga, MariëlleYear:
2017
Language:
english
DOI:
10.1145/3137133.3137138
File:
PDF, 1.18 MB
english, 2017