MANSOUR, AHMED NAGY ABDELKHALEK
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.01 secondi).
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids
2023-01-01 Mansour, Ahmed Nagy Abdelkhalek; Grillo, Samuele; Ragaini, Enrico; Rossi, Matteo
Combining Machine Learning and Formal Methods to Design Protection Systems in Low Voltage Distribution Grids
2024-01-01 Mansour, AHMED NAGY ABDELKHALEK
Efficient Verification of Protection System Configuration of Electrical Distribution Grids
2024-01-01 Pellei, Francesco; Abdelkhalek Mansour, Ahmed Nagy; Ragaini, Enrico; Grillo, Samuele; Rossi, Matteo
Rigorous Automated Verification of Protection Systems in LV Distribution Grids
2023-01-01 Mansour, Ahmed Nagy Abdelkhalek; Grillo, Samuele; Ragaini, Enrico; Rossi, Matteo