Formal modeling and quantitative evaluation for information system survivability based on PEPA
王健,王慧强,赵国生
Formal modeling and quantitative evaluation for information system survivability based on PEPA
WANG Jian, WANG Hui-qiang, ZHAO Guo-sheng
Acta Metallurgica Sinica(English letters) . 2008, (2): 88 -96 .  DOI: 1005-8885 (2008) 02-0088-09