NASA NTRS · 20110011564
Probabilistic Analysis of Distributed Fault-Tolerant Systems
Abstract
An approach is documented for analyzing probabilistic properties of fault-tolerant distributed systems using the PRISM model checker.
Keep this discovery
Explore connections, maps & timelines
Dutertre, Bruno. 2011-05-01. Probabilistic Analysis of Distributed Fault-Tolerant Systems. https://ntrs.nasa.gov/citations/20110011564
Cite the original work for its findings. Save a collection to share your selection of sources.