Composition of proof-carrying architectures for cyber-physical systems.

Ethan T. McGee John D. McGregor

Published in: SPLC (2015)

Keyphrases

cyber physical systems
cyber physical
physical world
cyber security
embedded systems
critical infrastructure
real time
ambient intelligence
virtual world