Real-Time Verification for Distributed Cyber-Physical Systems.

Hoang-Dung Tran Luan Viet Nguyen Patrick Musau Weiming Xiang Taylor T. Johnson

Published in: CoRR (2019)

Keyphrases

cyber physical systems
real time
cyber physical
cyber security
physical world
distributed systems
low cost
data acquisition
high speed
computer networks
data analysis
distributed environment
critical infrastructure