会议论文《基于SM-PEPA的关键任务系统自律可信性模型与量化分析》发表于中国计算机学会全国软件与应用学术会议(NASAC2009)。该文提出一种结合SM-PEPA的建模方法，用于分析关键任务系统的自律可信性。通过量化分析，研究者能够评估系统在复杂环境下的可靠性与安全性，为高可信系统的设计与优化提供理论支持。
文档为pdf格式，0.78MB，总共10页。
举报
