[Dut11]
Bruno Dutertre.
Probabilistic Analysis of Distributed Fault-Tolerant Systems.
Technical report CR–2011-217090, NASA.
2011.
http://ntrs.nasa.gov/search.jsp?R=20110011564
|
Links:
[Google]
[Google Scholar]
|
Available from:
http://ntrs.nasa.gov/search.jsp?R=20110011564
|