Search
E-mail
RSS

Author Login Chief Editor Login Reviewer Login Editor Login Remote Office
Author Login Chief Editor Login Reviewer Login Editor Login Remote Office
Research on automated module composition method based on Event-B
CHEN Jinxin,SU Wen
Computer Engineering . 2019, (5): 298 -307,314 .  DOI: 10.19678/j.issn.1000-3428.0050731

copyright@Editorial Department of Computer Engineering
Address：No. 63, Chengliu Road, Shanghai, 201808
Tel: 021-67092217　
E-mail：ecice06@ecict.com.cn
Powered by Beijing Magtech Co. Ltd,.