Abstracting and refining robustness for cyber-physical systems.

Matthias Rungger Paulo Tabuada

Published in: CoRR (2013)

Keyphrases

cyber physical systems
cyber physical
cyber security
physical world
real time
information systems
low cost
critical infrastructure