Research Article

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

Figure 5

Train-to-train communication model.