输入输出时间自动机(TAIO)相关论文
为了研究高覆盖已知故障集的中国列车运行控制系统三级(CTCS-3)测试案例生成方法,提出了一种基于输入输出时间自动机(TAIO)变异分......
列车运行控制系统是确保列车安全运行的核心设备。随着轨道交通的快速发展和人们日益增长的需求,列控系统向着高效、智能、低成本......
