信息技术与网络安全2022，Vol.41Issue(2)：15-19,5.DOI:10.19358/j.issn.2096-5133.2022.02.003
GoA4级全自动运行系统驾驶模式切换的安全性建模
Security modeling of driving mode switching in GoA4 level automatic operation system
谢迎锋 1王蓉2
作者信息
- 1. 北京全路通信信号研究设计院集团有限公司,北京 100070
- 2. 北京交通大学,北京 100040
- 折叠
摘要
关键词
驾驶模式/全自动运行系统/UPPAAL/安全性验证分类
交通工程引用本文复制引用
谢迎锋,王蓉..GoA4级全自动运行系统驾驶模式切换的安全性建模[J].信息技术与网络安全,2022,41(2):15-19,5.
