时间变迁系统相关硕士博士期刊学术论文 - 搜论网

时间变迁系统相关论文

基于模型转换的MARTE顺序图的形式化分析

作为一项新规范,MARTE有许多方面亟待完善.如何对依照MARTE设计的模型开展验证是待解决问题之一.对象管理组织提出用模型转换的方......

期刊

实时系统形式化方法 MARTE 时间变迁系统验证

基于PTCPN的网构软件建模与分析

时间Petri网能够对网构软件的性能进行分析,但是无法对网构软件的可变代价进行分析.为了进一步满足对网构软件所具有的柔性建模以......

期刊

网构软件 Petri网代价时间变迁系统多态性

看过本文同时还关注