collaborators

1 paper

cs.SE2020

Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems

Smitha Gautham, Abhilash Rajagopala, Athira Varma Jayakumar +3

Advanced embedded system technology is one of the key driving forces behind the rapid growth of Cyber-Physical System (CPS) applications. Cyber-Physical Systems are comprised of mu…