Lijie Chen 0006, Tianshi Zhao, Chao Sun, Hongyang He. Test Case Generation Method Based on Colored Petri Net for Train Control System. In 3rd International Conference on System Reliability and Safety, ICSRS 2018, Barcelona, Spain, November 23-25, 2018. pages 1-5, IEEE, 2018. [doi]
Abstract is missing.