列车运行控制系统的形式化研究进展与趋势

列车运行控制系统的形式化研究进展与趋势

吕继东, 卢万里, 唐涛, 罗正伟

Research Progress and Trend of Formal Methods for Train Control System

LÜ Jidong, LU Wanli, TANG Tao, LUO Zhengwei

前瞻科技 . 2023, (1): 106 -117 . DOI: 10.3981/j.issn.2097-0781.2023.01.008