论文部分内容阅读
基于时间自动机的CTCS-3级列控系统建模方法与验证研究
【出 处】
:
北京交通大学
【发表日期】
:
2013年01期
其他文献