基于时间自动机模型的CBTC系统安全计算机平台的形式化验证的任务书

基于时间自动机模型的CBTC系统安全计算机平台的形式化验证的任务书任务书：基于时间自动机模型的CBTC系统安全计算机平台的形式化验证任务背景：城市轨道交通系统的安全性一直是保障城市安全运行的重要方面，