计算技术与自动化2007，Vol.26Issue(1)：108-110,3.
嵌入式建模中带有时间扩展的UML状态图的形式化方法
The Method of Formalize the Time-extended UML Statechart of Embedded System Modeling
段盛 1李仁发2
作者信息
- 1. 湖南大学,软件学院,湖南,长沙,410012
- 2. 湘南学院,计算机系,湖南,郴州,423000
- 折叠
摘要
关键词
嵌入式系统/UML状态图/形式化分类
信息技术与安全科学引用本文复制引用
段盛,李仁发..嵌入式建模中带有时间扩展的UML状态图的形式化方法[J].计算技术与自动化,2007,26(1):108-110,3.
