Sign in

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

Ethan T. McGeeJohn 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