Yu Zhang, Mengxing Huang, Wenlong Feng. An Semi-formal Co-verification Approach for High-Assurance CPS. In Houbing Song, Dingde Jiang, editors, Simulation Tools and Techniques - 11th International Conference, SIMUtools 2019, Chengdu, China, July 8-10, 2019, Proceedings. Volume 295 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 168-179, Springer, 2019. [doi]
Abstract is missing.