列车运行安全行为建模与形式化技术研究

随着我国铁路事业的快速发展,对列车运行控制系统安全性的研究已成为目前铁路运输系统的重要研究问题。形式...

2017.1