Sign in

Hierarchical multi-formalism proofs of cyber-physical systems.

Michael W. WhalenSanjai RayadurgamElaheh GhassabaniAnitha MurugesanOleg SokolskyMats Per Erik HeimdahlInsup Lee
Published in: MEMOCODE (2015)
Keyphrases
  • cyber physical systems
  • cyber physical
  • embedded systems
  • cyber security
  • artificial intelligence
  • information systems
  • decision problems
  • physical world