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