论文部分内容阅读
铁路信号联锁系统安全规范的形式化描述与验证方法
【出 处】
:
北京交通大学
【发表日期】
:
2013年01期
其他文献