Modelling smart buildings using fault maintenance trees
Increasingly many industrial spheres are enforced by law to satisfy strict RAMS requirements—reliability, availability, maintainability, and safety. Applied to Fault Maintenance Trees (FMTs), formal methods offer flexible and trustworthy techniques to quantify the resilience of (abstract models of)...
| Main Authors: | , , , , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer Verlag
2018
|