面向车车通信的安全计算机时间约束性分析验证 - 高莺; 曹源; 孙永奎; 马连川; 洪春华; 张玉琢 (通信学报, 2018)
Keywords: train-to-train communication; time constraint; 时间Petri网; time Petri net; 安全计算机; safety computer; 车车通信; 时间约束