Runtime Verification for Distributed Cyber-Physical Systems.

Published in: SRDS (2021)

Keyphrases

cyber physical systems
cyber physical
physical world
cyber security
distributed systems
distributed environment
social networks
e government
monitoring system
embedded systems
critical infrastructure