Sign in

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems.

Meng WuJingbo WangJyotirmoy DeshmukhChao Wang
Published in: FMCAD (2019)
Keyphrases
  • cyber physical systems
  • cyber physical
  • distributed databases
  • embedded systems
  • low cost
  • decision support system