计算机工程2015，Vol.41Issue(8)：256-261,6.DOI:10.3969/j.issn.1000-3428.2015.08.047
基于改进Event-B建模的高速列车追踪运行仿真研究
Simulation Research on High-speed Train Tracking Operation Based on Improved Event-B Modeling
摘要
关键词
高速列车/列车追踪/Event-B方法/形式化方法/交通仿真/建模Key words
high-speed train/train tracking/Event-B method/formal method/traffic simulation/modeling分类
信息技术与安全科学引用本文复制引用
陈永,张薇,胡晓辉..基于改进Event-B建模的高速列车追踪运行仿真研究[J].计算机工程,2015,41(8):256-261,6.基金项目
国家自然科学基金资助项目(61163009) （61163009）
兰州交通大学青年科学基金资助项目(2011001). （2011001）
