Login / Signup

Verification of Symbolic Distributed Protocols for Networked Embedded Devices.

Andrea AugelloRosolino D'AntoniSalvatore GaglioGiuseppe Lo ReGloria MartorellaDaniele Peri
Published in: ETFA (2020)
Keyphrases
  • embedded devices
  • security protocols
  • mobile devices
  • embedded systems
  • multi agent
  • lightweight
  • home automation
  • data sets
  • distributed systems
  • data storage
  • limited memory
  • real time
  • state space
  • home appliances