Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ehsan Ahmad, Yunwei Dong, Brian R. Larson, Jidong Lü, Tao Tang, Naijun Zhan. Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL. Science in China Series F: Information Sciences, 58(11):1-20, 2015. [doi]

This author has not been identified. Look up 'Ehsan Ahmad' in GoogleThis author has not been identified. Look up 'Yunwei Dong' in GoogleThis author has not been identified. Look up 'Brian R. Larson' in GoogleThis author has not been identified. Look up 'Jidong Lü' in GoogleThis author has not been identified. Look up 'Tao Tang' in GoogleThis author has not been identified. Look up 'Naijun Zhan' in Google

runs on WebDSL