1. 首页
  2. 编程语言
  3. 其他
  4. 论文研究基于连续时间Markov链的系统模型性能分析 .pdf

论文研究基于连续时间Markov链的系统模型性能分析 .pdf

上传者: 2019-09-24 00:45:38上传 PDF文件 423.08KB 热度 26次
基于连续时间Markov链的系统模型性能分析,赵也非,杨宗源,给软件架构赋予形式化语义,可以在模型精化的过程中,实现自动推导和证明。本文着重讨论了UML状态图面向性能分析的形式语义,把UML
用户评论