RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano

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

Mansour, Ahmed Nagy Abdelkhalek;Grillo, Samuele;Ragaini, Enrico;Rossi, Matteo
2023-01-01
2023
Proceedings of the 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE)
979-8-3503-1263-8
04.1 Contributo in Atti di convegno
File in questo prodotto:
File Dimensione Formato  
A_Formal_Approach_to_the_Verification_of_Protection_Systems_in_Low-Voltage_Distribution_Grids.pdf

Accesso riservato

: Publisher’s version
Dimensione 440.74 kB
Formato Adobe PDF
  Visualizza/Apri
440.74 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/1245879
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact