无线通信和移动计算
研究文章

正式的建模和研究安全验证Train-to-Train沟通

图1

基于train-to-train的列车控制系统的体系结构。