1. School of Electronic and Information Engineering, Lanzhou Jiaotong University, Lanzhou Gansu 730070, China;
2. Library, Lanzhou Jiaotong University, Lanzhou Gansu 730070, China
HU Xiaohui XIAO Zhiqi CHEN Yong Li Xin. Formal modeling and verification of train safety distance control[J]. Journal of Computer Applications, 2014, 34(3): 851-856.