Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Asad Ahmed; Osman Hasan; Falah Awwad; Nabil Bastaki
    978-3-030-78409-6
    2022
    Edition 1
    • Addresses the formal verification of smart grids using interactive theorem proving
    • Assesses energy systems cost-effectiveness, efficiency, and quality-of-service
    • Offers generalized theories applicable to a wide range of hardware and software systems

    €130

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.