Wireless Communications and Mobile Computing

Research Article

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

Figure 3

Holding process of tracing mode.