C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency.
Ran Li
Huibiao Zhu
Richard Banach
Published in:
ICFEM (2022)
Keyphrases
</>
cyber physical systems
cyber physical
physical world
embedded systems
cyber security
database systems
software systems
information sharing