Efficient probabilistic model checking of smart building maintenance using fault maintenance trees.

Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, Marille Stoelinga

Browse the full SENSYS paper archive.