Formal modeling and checking of procedure message exchange between train-ground for CTCS level 3
LIU Zhongtian
LU Jidong
SUN Weiliang
Machine-generated Keywords：
Publication Date：2011-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：6( 76-81 )