Formal Modeling and Verification of RBC Handover of ETCS Using Differential Dynamic Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yupeng Liu, Tao Tang, Jintao Liu, Lin Zhao, Tianhua Xu. Formal Modeling and Verification of RBC Handover of ETCS Using Differential Dynamic Logic. In 10th International Symposium on Autonomous Decentralized Systems, ISADS 2011, Tokyo & Hiroshima, Japan, March 23-17, 2011. pages 67-72, IEEE, 2011. [doi]

This author has not been identified. Look up 'Yupeng Liu' in GoogleThis author has not been identified. Look up 'Tao Tang' in GoogleThis author has not been identified. Look up 'Jintao Liu' in GoogleThis author has not been identified. Look up 'Lin Zhao' in GoogleThis author has not been identified. Look up 'Tianhua Xu' in Google

runs on WebDSL