Online Conformance Testing of CBTC On-board ATO Functions Based on UPPAAL-TRON Framework - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Kehang Chen' in GoogleThis author has not been identified. Look up 'Jidong Lv' in GoogleThis author has not been identified. Look up 'Jia Huang' in GoogleThis author has not been identified. Look up 'Haonan Guo' in GoogleThis author has not been identified. Look up 'Shuai Su' in GoogleThis author has not been identified. Look up 'Tao Tang' in Google

runs on WebDSL