Stochastic Model Checking for Predicting Component Failures and Service Availability
Stochastic Model Checking for Predicting Component Failures and Service Availability
复制标题
用于预测组件故障和服务可用性的随机模型检查
DOI：
10.1109/tdsc.2017.2650901
复制
发表时间：
2019
影响因子：
7.3
通讯作者：
Calder M
中科院分区：
文献类型：
--
作者：
Calder M
我是否需要立即修复出现故障的组件，还是可以等到明天？
DOI：
10.1109/edcc.2014.15
发表时间：
2014
期刊：
--
影响因子：
--
作者：
Calder M
通讯作者：
Calder M
模型检查生存能力！
DOI：
10.1109/qest.2005.21
发表时间：
2005
期刊：
Second International Conference on the Quantitative Evaluation of Systems (QEST'05)
影响因子：
--
作者：
L. Cloth;B. Haverkort
通讯作者：
B. Haverkort
使用 S m A r T 进行逻辑和随机建模
DOI：
--
发表时间：
2006
期刊：
Performance evaluation (Print)
影响因子：
--
作者：
Gianfranco Ciardo;R. L. Jones;Andrew S. Miner;Radu I. Siminiceanu
通讯作者：
Radu I. Siminiceanu