![](/img/cover-not-exists.png)
[IEEE 2009 IEEE Intelligent Vehicles Symposium (IV) - Xi'an, China (2009.06.3-2009.06.5)] 2009 IEEE Intelligent Vehicles Symposium - Logic verification of Collision Avoidance System in train control systems
Xu, Tianhua, Tang, Tao, Gao, Chunhai, Cai, BaigenYear:
2009
Language:
english
DOI:
10.1109/ivs.2009.5164402
File:
PDF, 808 KB
english, 2009