Login / Signup

Survey on automated symbolic verification and its application for synthesising cyber-physical systems.

Lucas C. CordeiroEddie Batista de Lima FilhoIury Valente de Bessa
Published in: IET Cyper-Phys. Syst.: Theory & Appl. (2020)
Keyphrases
  • cyber physical systems
  • cyber physical
  • physical world
  • cyber security
  • embedded systems
  • sensor data
  • artificial intelligence
  • data analysis
  • critical infrastructure