Open AccessA Co-Verification Interface Design for High-Assurance CPS
Author(s) -
Yu Zhang,
Mengxing Huang,
Hao Wang,
Wenlong Feng,
Jieren Cheng,
Hui Zhou
Publication year - 2019
Publication title -
computers, materials and continua/computers, materials and continua (print)
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.788
H-Index - 40
eISSN - 1546-2226
pISSN - 1546-2218
DOI - 10.32604/cmc.2019.03736
Subject(s) - interface (matter) , computer science , interface design , human–computer interaction , software engineering , systems engineering , engineering , operating system , bubble , maximum bubble pressure method