Wireless Communications and Mobile Computing

Research Article

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

Figure 2

Time sequence of train in front identification.