论文研究-基于连续时间Markov链的系统模型性能分析 .pdf 时间:2022-09-05 08:21:59 【文件属性】: 文件名称:论文研究-基于连续时间Markov链的系统模型性能分析 .pdf 文件大小:423KB 文件格式:PDF 更新时间:2022-09-05 08:21:59 UML状态图 基于连续时间Markov链的系统模型性能分析,赵也非,杨宗源,给软件架构赋予形式化语义,可以在模型精化的过程中,实现自动推导和证明。本文着重讨论了UML状态图面向性能分析的形式语义,把UML 立即下载