聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
会议论文 UML2.0顺序图的一种有穷自动机模型
出处:2008年全国理论计算机科学学术年会
摘要:为了在软件开发早期阶段对UML2.0顺序图模型进行分析和验证,本文给出了UML2.0顺序图的一种有穷自动机模型.... 显示全部
关键词: 顺序图 有穷自动机 时间自动机 软件开发 时间建模 建模机制
找到1条结果
`