Open Access iconOpen Access

ARTICLE

A Co-Verification Interface Design for High-Assurance CPS

Yu Zhang1,2,*, Mengxing Huang1,2,*, Hao Wang3, Wenlong Feng1,2, Jieren Cheng1,2, Hui Zhou1,2

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: email;
  Yu Zhang. Email: email.

TSP_CMC_3736.pdf

  • 2944

    View

  • 1391

    Download

  • 0

    Like

Share Link