列车安全距离控制形式化建模与验证

列车安全距离控制形式化建模与验证

胡晓辉肖知屹陈永李欣

Formal modeling and verification of train safety distance control

HU Xiaohui XIAO Zhiqi CHEN Yong Li Xin

计算机应用 . 2014, (3): 851 -856 . DOI: 10.11772/j.issn.1001-9081.2014.03.0851