基于Event-B的自动化模块组合方法研究

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于Event-B的自动化模块组合方法研究

陈金鑫,苏雯

Research on automated module composition method based on Event-B

CHEN Jinxin,SU Wen

计算机工程 . 2019, (5): 298 -307,314 . DOI: 10.19678/j.issn.1000-3428.0050731