面向车车通信的安全计算机时间约束性分析验证
高莺,曹源,孙永奎,马连川,洪春华,张玉琢
Analysis and verification of safety computer time constraints for train-to-train communications
Ying GAO,Yuan CAO,Yongkui SUN,Lianchuan MA,Chunhua HONG,Yuzhuo ZHANG
通信学报 . 2018, (12): 82 -90 .  DOI: 10.11959/j.issn.1000?436x.2018275