计算机与现代化Issue(3)：44-46,56,4.DOI:10.3969/j.issn.1006-2475.2011.03.012
形式化方法与可视化模型的结合及其应用
Integration and Its Application of Formal Methods and Visual Models
吴帅 1缪丽君2
作者信息
- 1. 上饶师范学院数学与计算机系,江西,上饶,334001
- 2. 上饶师范学院教育科学系,江西,上饶,334001
- 折叠
摘要
关键词
形式化方法/B方法/UML/AMN/ProB分类
信息技术与安全科学引用本文复制引用
吴帅,缪丽君..形式化方法与可视化模型的结合及其应用[J].计算机与现代化,2011,(3):44-46,56,4.
