Sign in

Lightweight Verification and Validation of Cyberphysical Systems Using Machine-Learned Correctness Properties.

Doron DrusinskyMatthew LittonJames Bret Michael
Published in: Computer (2022)
Keyphrases
  • lightweight
  • communication infrastructure
  • expert systems
  • wireless sensor networks
  • distributed systems
  • formal methods
  • mobile devices
  • management system
  • complex systems
  • handheld devices