Login / Signup
Ahmed Nagy Abdelkhalek Mansour
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Low Voltage
Peer To Peer
Critical Infrastructure
Design Considerations
Top Venues
FormaliSE
</>
Publications
</>
Ahmed Nagy Abdelkhalek Mansour
,
Samuele Grillo
,
Enrico Ragaini
,
Matteo Rossi
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids.
FormaliSE
(2023)