Emerald: An Automated Modeling and Verification Tool for Component-Based Real-Time Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yizhou Zhang, Hao Lin, Guoqiang Li 0001. Emerald: An Automated Modeling and Verification Tool for Component-Based Real-Time Systems. In Antony Tang, Henry Muccini, editors, 2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012. pages 120-123, IEEE, 2012. [doi]

This author has not been identified. Look up 'Yizhou Zhang' in GoogleThis author has not been identified. Look up 'Hao Lin' in GoogleThis author has not been identified. Look up 'Guoqiang Li 0001' in Google

runs on WebDSL