Work

Efficient Verification of Protection System Configuration of Electrical Distribution Grids

Year: 2024

Type: conference-paper

Source: IEEE PES Innovative Smart Grid Technologies Europe

DOI: 10.1109/isgteurope62998.2024.10863157

Authors: Francesco Pellei, Ahmed Nagy Abdelkhalek Mansour, Enrico Ragaini, Samuele Grillo, Matteo Rossi

Institutions: Politecnico di Milano, ABB (Italy)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: closed

OpenAlex ID: W4407361637

FWCI:

Cites: 5

Cited by:

Related to: 10