测试科学与仪器2019，Vol.10Issue(2)：157-167,11.DOI:10.3969/j.issn.1674-8042.2019.02.008
基于UML顺序图与UPPAAL的
列车追踪模块建模研究
Modeling research of train tracing based on UML sequence diagram and UPPAAL
陈永刚 1杨璐 1王栋2
作者信息
- 1. 兰州交通大学 自动化与电气工程学院,甘肃 兰州 730070
- 2. 兰州交通大学 机电工程学院,甘肃 兰州 730070
- 折叠
摘要
关键词
列车追踪/CBTC系统/区域控制器/时间自动机/UPPAAL分类
交通工程引用本文复制引用
陈永刚,杨璐,王栋..基于UML顺序图与UPPAAL的
列车追踪模块建模研究[J].测试科学与仪器,2019,10(2):157-167,11.
