Formal Modeling and Verification Methods for the System Requirement Specifications of Train Control Systems: A Survey - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ruijun Cheng, Dewang Chen, Haifeng Song 0001, Hui Liu, Huize Cheng. Formal Modeling and Verification Methods for the System Requirement Specifications of Train Control Systems: A Survey. IEEE Transactions on Intelligent Transportation Systems, 26(2):1419-1440, February 2025. [doi]

This author has not been identified. Look up 'Ruijun Cheng' in GoogleThis author has not been identified. Look up 'Dewang Chen' in GoogleThis author has not been identified. Look up 'Haifeng Song 0001' in GoogleThis author has not been identified. Look up 'Hui Liu' in GoogleThis author has not been identified. Look up 'Huize Cheng' in Google

runs on WebDSL