Kehang Chen, Jidong Lv, Jia Huang, Haonan Guo, Shuai Su, Tao Tang. Online Conformance Testing of CBTC On-board ATO Functions Based on UPPAAL-TRON Framework. In 2019 IEEE Intelligent Transportation Systems Conference, ITSC 2019, Auckland, New Zealand, October 27-30, 2019. pages 3334-3339, IEEE, 2019. [doi]
Abstract is missing.