铁路车站信号控制系统相关硕士博士期刊学术论文

该文立足于安全关键系统,选择铁路车站信号控制系统作为具体的应用对象,对安全关键系统的形式化开发方法进行了下述主要研究和探索......