基于Event-B与ADT实例化的TACS形式化开发方法

发表刊物：

中国铁道科学【EI检索，中国铁道学会高质量科技期刊T1级】

论文类型：

期刊论文

卷号：

44

期号：

6

是否译文：

否

发表时间：

2023-12-07

收录刊物：

EI

第一作者：

陈祖希，牛传军【研究生】，梅萌*，刘杰，刘传振，郑黎晓，骆翔宇，潘亮，汪小勇，徐中伟