Blar i Institutt for IKT og realfag på tidsskrift "Computers, Materials and Continua (CMC)"
Viser treff 1-1 av 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. ...