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

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]

Abstract

Abstract is missing.