Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chris J. Myers, Jian Wu, Zhen Zhang, Hao Zheng 0001, Yingying Zhang. Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems. In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, Beijing, China, April 17-19, 2012. pages 232, IEEE, 2012. [doi]

This author has not been identified. Look up 'Chris J. Myers' in GoogleThis author has not been identified. Look up 'Jian Wu' in GoogleThis author has not been identified. Look up 'Zhen Zhang' in GoogleThis author has not been identified. Look up 'Hao Zheng 0001' in GoogleThis author has not been identified. Look up 'Yingying Zhang' in Google

runs on WebDSL