PEPA

作品数：63被引量：221H指数：9
导出分析报告
相关领域：化学工程更多>>
相关作者：于名讯姜兴三邱桂花吕宏武王慧强更多>>
相关机构：扬州大学苏州科技学院相城研究院北京理工大学中国兵器工业集团第五三研究所更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家教育部博士点基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=The Journal of China Universities of Posts and Telecommunicationsx
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Formal modeling and quantitative evaluation for information system survivability based on PEPA被引量：2
《The Journal of China Universities of Posts and Telecommunications》2008年第2期88-96,113,共10页WANG Jian WANG Hui-qiang ZHAO Guo-sheng 
the National Natural Science Foundation of China (90718003);the Hi-Tech Research and Development Program of China (2007AA01Z401);the Specialized Research Fund for the Doctoral Program of Higher Education (20050217007)
Survivability should be considered beyond security for information system. To assess system survivability accurately, for improvement, a formal modeling and analysis method based on stochastic process algebra is propo...
关键词：SURVIVABILITY stochastic process algebra performanceevaluation process algebra formal modeling quantitativeevaluation 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部