负近似论文

基于运行时验证的列控系统形式分析
论文摘要列车运行控制系统是轨道交通信号系统的重要组成部分之一,是保证列车运行安全的主要因素之一。随着计算机技术在列车运行控制系统中的应用,安全问题显得越发的重要和复杂,传统的测...