MANSOUR, AHMED NAGY ABDELKHALEK
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 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
Rigorous Automated Verification of Protection Systems in LV Distribution Grids
2023-01-01 Mansour, Ahmed Nagy Abdelkhalek; Grillo, Samuele; Ragaini, Enrico; Rossi, Matteo