Browsing Institutt for IKT og realfag by Journals "Computers, Materials and Continua (CMC)"
Now showing items 1-1 of 1
-
A co-verification interface design for high-assurance CPS
(Journal article; Peer reviewed, 2019)Cyber-Physical Systems (CPS) tightly integrate cyber and physical components and transcend traditional control systems and embedded system. Such systems are often mission-critical; therefore, they must be high-assurance. ...