基于时间自动机的CTCs-3级列控系统变异测试方法研究

基于时间自动机的CTCs-3级列控系统变异测试方法研究基于时间自动机的CTCs-3级列控系统变异测试方法研究摘要：随着交通事故的增加，铁路行业对列车控制系统的安全性要求越来越高。CTCs（Centra