软件导刊2017，Vol.16Issue(1)：6-10,5.DOI:10.11907/rjdk.162480
UML状态图到B形式化规范的转换实现
滕飞 1杨静1
作者信息
- 1. 贵州大学 计算机科学与技术学院，贵州 贵阳 550025
- 折叠
摘要
关键词
UML状态图/B方法/转换工具/UML2 B分类
信息技术与安全科学引用本文复制引用
滕飞,杨静..UML状态图到B形式化规范的转换实现[J].软件导刊,2017,16(1):6-10,5.基金项目
国家自然科学基金项目(61562011) （61562011）
