Login / Signup

Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures.

Vivek NigamCarolyn L. Talcott
Published in: TASE (2023)
Keyphrases
  • cyber physical systems
  • cyber physical
  • physical world
  • cyber security
  • social networks
  • embedded systems
  • information security
  • artificial intelligence
  • data analysis