Crossmark

User-Friendly Formal Verification of Protection Systems in Electrical Networks

Crossref DOI link: https://doi.org/10.1007/978-3-032-12484-5_10

Published Online: 2026-02-06

Published Print: 2026

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Nocentini, Alessandro https://orcid.org/0009-0001-4951-5748
Mansour, Ahmed Nagy Abdelkhalek https://orcid.org/0009-0009-8836-5437
Grillo, Samuele https://orcid.org/0000-0001-6070-5385
Ragaini, Enrico https://orcid.org/0000-0002-2415-6646
Rossi, Matteo https://orcid.org/0000-0002-9193-9560
License Information

Text and Data Mining valid from 2026-01-01

Version of Record valid from 2026-01-01
More Information

Chapter History

First Online: 6 February 2026

Disclosure of Interests

: The authors have no competing interests to declare that are relevant to the content of this article.