Formal Verification of Grid Frequency Controllers

Anurag Mohapatra, Vedran S. Peric, Thomas Hamacher

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Formal Verification of Grid Frequency Controllers'. Sammen danner de et unikt fingeraftryk.

Computer Science

Engineering