Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Enrico Ragaini
conf.researchr.org general profile
ICSE 2023 profile
Not registered as user yet
Name:
Enrico Ragaini
Country:
Italy
Affiliation:
ABB italy
Contributions
2023
FormaliSE
Author of A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids within the FormaliSE 2023-track
Share
x
Wed 9 Oct 19:20