Open Access
ARTICLE
A Co-Verification Interface Design for High-Assurance CPS
State Key Laboratory of Marine Resource Utilization in South China Sea, Hainan University, Haikou, 570228, China.
College of Information Science and Technology, Hainan University, Haikou, 570228, China.
Big Data Lab, Department of ICT and Natural Sciences, Norwegian University of Science and Technology, Postboks 1517, N-6025 Aalesund, Norway.
* Corresponding Author: Mengxing Huang. Email: ;
Yu Zhang. Email: .