Online Conformance Testing of CBTC On-board ATO Functions Based on UPPAAL-TRON Framework. - Kehang Chen; Jidong Lv; Jia Huang; Haonan Guo; Shuai Su; Tao Tang 004 (ITSC, 2019)

Complete Testing for Speed Monitoring Function of Next-Generation Train Control System Based on IPOG Strategy. - Kehang Chen; Jidong Lv; Zhengwei Luo; Ming Chai; Hongjie Liu; Tao Tang 004 (ITSC, 2019)