Efficient probabilistic model checking of smart building maintenance using fault maintenance trees - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, Mariëlle Stoelinga. Efficient probabilistic model checking of smart building maintenance using fault maintenance trees. In Kamin Whitehouse, Prabal Dutta, Hae Young Noh, editors, Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments, BuildSys 2017, Delft, The Netherlands, November 08-09, 2017. ACM, 2017. [doi]

This author has not been identified. Look up 'Nathalie Cauchi' in GoogleThis author has not been identified. Look up 'Khaza Anuarul Hoque' in GoogleThis author has not been identified. Look up 'Alessandro Abate' in GoogleThis author has not been identified. Look up 'Mariëlle Stoelinga' in Google

runs on WebDSL