An approach is documented for analyzing probabilistic properties of fault-tolerant distributed systems using the PRISM model checker.
Probabilistic Analysis of Distributed Fault-Tolerant Systems
01.05.2011
Report
Keine Angabe
Englisch
Fault tolerant distributed systems using Ada
AIAA | 1983
|Development of Fault-Tolerant Distributed Vehicle Systems
British Library Conference Proceedings | 2000
|Fault-Tolerant Systems Based on Distributed IMA Technology
Springer Verlag | 2023
|Secure and fault-tolerant voting in distributed systems
Tema Archiv | 2001
|Secure and fault-tolerant voting in distributed systems
IEEE | 2001
|