当前位置:主页 > 资源下载 > 9 > 论文研究-基于连续时间Markov链的系统模型性能分析 .pdf下载

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

更新：2024-10-18 11:34:44
大小：423KB
推荐：★★★★★
来源：网友上传分享
类别：其它 - 开发技术
格式：PDF

反馈 / 投诉

文件下载

资源介绍

基于连续时间Markov链的系统模型性能分析，赵也非，杨宗源，给软件架构赋予形式化语义，可以在模型精化的过程中，实现自动推导和证明。本文着重讨论了UML状态图面向性能分析的形式语义，把UML

相关推荐

热门标签

资源声明

本站所有软件、应用、教程内容均由小编以及网友收集资料和整理而来，其著作权归原作者所有，仅供学习和研究使用，如有侵犯你版权的，请发邮箱jdjdokok@163.com指出，本站将立即改正。

酷码网　粤ICP备2024314634号