Login / Signup

A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids.

Ahmed Nagy Abdelkhalek MansourSamuele GrilloEnrico RagainiMatteo Rossi
Published in: FormaliSE (2023)
Keyphrases
  • low voltage
  • formal methods
  • computer vision
  • computer systems
  • design considerations
  • real time
  • pattern recognition
  • sensor networks
  • peer to peer
  • critical infrastructure