Author:
Jo Hyun-Jeong,Yoon Yong-Ki,Hwang Jong-Gyu
Publisher
The Korean Institute of Electrical Engineers
Subject
Electrical and Electronic Engineering
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modeling of Train Control Systems Using Formal Techniques;Lecture Notes in Electrical Engineering;2013-12-05
2. Formal Specification of Railway Control Systems;Lecture Notes in Electrical Engineering;2013-11-13
3. Novel Online Safety Observer for Railway Interlocking System;Journal of Transportation Engineering;2013-07
4. A novel framework for supporting the design of moving block train control system schemes;Proceedings of the Institution of Mechanical Engineers, Part F: Journal of Rail and Rapid Transit;2013-07-01
5. A Topology-Based Model for Railway Train Control Systems;IEEE Transactions on Intelligent Transportation Systems;2013-06