对象自动机相关硕士博士期刊学术论文 - 信丰网

对象自动机相关论文

实时系统动态行为模型的一种形式分析方法

提出了一种基于统一建模语言UML 2.0的实时系统动态行为模型的形式分析方法。首先给出了UML顺序图的形式化描述,分析了UML顺序图中......

期刊

实时系统动态行为模型时间约束统一建模语言UML 2.0 对象自动机 real-time systems dynamic behavioral mode

看过本文同时还关注