Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online

Lei Bu, Dingbao Xie, Xin Chen, Linzhang Wang, Xuandong Li. Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online. In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, Beijing, China, April 17-19, 2012. pages 222, IEEE, 2012. [doi]

Abstract

Abstract is missing.