Formal modeling and quantitative evaluation for information system survivability based on PEPA
2008 ◽
Vol 15
(2)
◽
pp. 88-113
◽
Keyword(s):
2012 ◽
Vol 198-199
◽
pp. 326-331
2014 ◽
Vol 955-959
◽
pp. 3824-3827
2007 ◽
Vol 12
(S1)
◽
pp. 217-222
◽
Keyword(s):