Multilevel Runtime Verification for Safety and Security Critical Cyber Physical Systems from a Model Based Engineering Perspective

SM Gautham - 2020 - scholarscompass.vcu.edu
Advanced embedded system technology is one of the key driving forces behind the rapid
growth of Cyber-Physical System (CPS) applications. CPS consists of multiple coordinating …