Login / Signup
Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems.
Smitha Gautham
Abhilash Rajagopala
Athira Varma Jayakumar
Christopher J. Deloglos
Erwin Karincic
Carl R. Elks
Published in:
CoRR (2020)
Keyphrases
</>
safety critical
cyber physical systems
embedded systems
formal methods
safety analysis
cyber physical
model checking
fault tolerant
low cost
physical world
agent architecture
support systems
cyber security
knowledge based systems
artificial intelligence
social networks
software systems
multi agent systems
real time