Wireless Communications and Mobile Computing

Research Article

Study on Formal Modeling and Safety Verification of Train-to-Train Communication

Holding process of tracing mode between train and following train.