基于概率模型检验的复杂武器系统任务可靠性评估方法研究

李磊;钱彦岭;杨拥民;杜凯

Evaluating Mission Reliability for Complex Weapon Systems with Probabilistic Model Checking

LI Lei;QIAN Yanling;YANG Yongmin;DU Kai

. 2011, (24): 171 -176 .