基于改进EventB建模的高速列车追踪运行仿真研究

检索

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

陈永,张薇,胡晓辉

Simulation Research on Highspeed Train Tracking Operation Based on Improved EventB Modeling

CHEN Yong,ZHANG Wei,HU Xiaohui

计算机工程 . 2015, (8): 256 -261 . DOI: 10.3969/j.issn.1000-3428.2015.08.047