User: Guest  Login
Title:

Formal Verification of Grid Frequency Controllers

Document type:
Konferenzbeitrag
Author(s):
Mohapatra, Anurag; Peric, Vedran. S.; Hamacher, Thomas
Book / Congress title:
2021 IEEE PES Innovative Smart Grid Technologies Europe (ISGT Europe)
Publisher:
IEEE
Date of publication:
18.10.2021
Year:
2021
Fulltext / DOI:
doi:10.1109/isgteurope52324.2021.9640096
 BibTeX