Formal Analysis of Future Energy Systems Using Interactive Theorem Proving 9783030784096, 9783030784089

Addresses the formal verification of smart grids using interactive theorem proving Assesses energy systems cost-effectiv

233 39 6MB

English Pages 79 Year 2021

Report DMCA / Copyright

DOWNLOAD EPUB FILE

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
 9783030784096, 9783030784089

  • 0 0 0
  • Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up
Recommend Papers