C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Real-Time Verification for Distributed Cyber-Physical Systems.
Hoang-Dung Tran
Luan Viet Nguyen
Patrick Musau
Weiming Xiang
Taylor T. Johnson
Published in:
Leibniz Trans. Embed. Syst. (2022)
Keyphrases
</>
cyber physical systems
real time
cyber physical
physical world
cyber security
distributed systems
low cost
embedded systems
artificial intelligence
distributed environment
critical infrastructure
control system
decision support system
lightweight
ubiquitous computing
communication systems