Benchmarks for the Formal Verification of Power Systems

Title:: Benchmarks for the Formal Verification of Power Systems
Document type:: Konferenzbeitrag
Author(s):: Althoff, Matthias
Book / Congress title:: Proc. of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems
Volume:: 90
Publisher:: EasyChair
Year:: 2022
Pages:: 26–43
Bookseries title:: EPiC Series in Computing
Fulltext / DOI:: doi:10.29007/tg4s
WWW:: https://easychair.org/publications/paper/8Tcg
BibTeX

Occurrences: