Login
- Titel:
Formal Verification of Grid Frequency Controllers
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Mohapatra, Anurag; Peric, Vedran. S.; Hamacher, Thomas
- Kongress- / Buchtitel:
- 2021 IEEE PES Innovative Smart Grid Technologies Europe (ISGT Europe)
- Verlag / Institution:
- IEEE
- Publikationsdatum:
- 18.10.2021
- Jahr:
- 2021
- Volltext / DOI:
- doi:10.1109/isgteurope52324.2021.9640096
BibTeX