Formal modeling and quantitative evaluation for information system survivability based on PEPA
Jian WANG, Hui-qiang WANG, Guo-sheng ZHAOVolume:
15
Year:
2008
Language:
english
Pages:
26
DOI:
10.1016/s1005-8885(08)60090-4
File:
PDF, 471 KB
english, 2008