铁道标准设计2018，Vol.62Issue(8)：168-173,6.DOI:10.13238/j.issn.1004-2954.201709270004
一种基于时间自动机模型的区域控制器测试序列生成方法
A Test Sequence Generation Method of Zone Controller Based on Timed Automata
宋爽 1刘伯鸿 1周科 1陈跃东2
作者信息
- 1. 兰州交通大学自动化与电气工程学院,兰州730070
- 2. 深圳熙斯特新能源技术有限公司,深圳518118
- 折叠
摘要
关键词
区域控制器/时间自动机模型/文件解析/深度优先搜索/测试序列分类
交通工程引用本文复制引用
宋爽,刘伯鸿,周科,陈跃东..一种基于时间自动机模型的区域控制器测试序列生成方法[J].铁道标准设计,2018,62(8):168-173,6.
