Automatic Model Building and Verification of Embedded Software with UPPAAL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiaoli Gong, Jie Ma, Qingcheng Li, Jin Zhang. Automatic Model Building and Verification of Embedded Software with UPPAAL. In IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, Changsha, China, 16-18 November, 2011. pages 1118-1124, IEEE, 2011. [doi]

This author has not been identified. Look up 'Xiaoli Gong' in GoogleThis author has not been identified. Look up 'Jie Ma' in GoogleThis author has not been identified. Look up 'Qingcheng Li' in GoogleThis author has not been identified. Look up 'Jin Zhang' in Google

runs on WebDSL