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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom