A Calculus of Cyber-Physical Systems.

Ruggero Lanotte Massimo Merro

Published in: LATA (2017)

Keyphrases

cyber physical systems
cyber physical
physical world
cyber security
critical infrastructure
embedded systems
social networks
source code
access control
software systems
smart grid