Probabilistic Analysis of Distributed Fault-Tolerant Systems
[摘要] An approach is documented for analyzing probabilistic properties of fault-tolerant distributed systems using the PRISM model checker.
[发布日期] 2011-05-01 [发布机构]
[效力级别] [学科分类] 计算机系统及组成
[关键词] [时效性]
