计算机工程2019，Vol.45Issue(5)：298-307,314,11.DOI:10.19678/j.issn.1000-3428.0050731
基于Event-B的自动化模块组合方法研究
Research on Automated Module Composition Method Based on Event-B
摘要
关键词
形式化方法/Event-B方法/模块化建模/自动化模块组合方法/模块调用/精化分类
信息技术与安全科学引用本文复制引用
陈金鑫,苏雯..基于Event-B的自动化模块组合方法研究[J].计算机工程,2019,45(5):298-307,314,11.基金项目
国家自然科学基金(61602293). （61602293）
