Journals
Publish with us
Publishing partnerships
About us
Blog
Wireless Communications and Mobile Computing
Journal overview
For authors
For reviewers
For editors
Table of Contents
Special Issues
Wireless Communications and Mobile Computing
/
2018
/
Article
/
Fig 7
/
Research Article
Study on Formal Modeling and Safety Verification of Train-to-Train Communication
Figure 7
Safety property verification chart of train-to-train communication.
