迁移提取相关硕士博士期刊学术论文 - 搜论网

迁移提取相关论文

基于Spin的UML状态图模型检查的设计与实现

UML已经是软件建模方面的标准语言，UML Staechart描述了系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高，Statecha......

期刊

模型检查 STATECHART Statechart山脉算法迁移提取 SPIN model checking Statechart Statechart M

看过本文同时还关注