[IEEE 2014 IEEE 17th International Conference on Intelligent Transportation Systems (ITSC) - Qingdao, China (2014.10.8-2014.10.11)] 17th International IEEE Conference on Intelligent Transportation Systems (ITSC) - Functional safety verification on railway signaling system with Colored Petri Nets
Xiaoli She,, Jiyuan Zhao,, Jian Yang,Year:
2014
Language:
english
DOI:
10.1109/itsc.2014.6958124
File:
PDF, 554 KB
english, 2014