Monitor-based temporal properties checking of train control systems with quantitative constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lin Zhao, Ming Chai, Yang Liu. Monitor-based temporal properties checking of train control systems with quantitative constraints. In 17th International IEEE Conference on Intelligent Transportation Systems, ITSC 2014, Qingdao, China, October 8-11, 2014. pages 2846-2851, IEEE, 2014. [doi]

This author has not been identified. Look up 'Lin Zhao' in GoogleThis author has not been identified. Look up 'Ming Chai' in GoogleThis author has not been identified. Look up 'Yang Liu' in Google

runs on WebDSL