Ebook: Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Author: Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
- Year: 2021
- Publisher: Springer International Publishing
- Language: English
- epub
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
Assesses energy systems cost-effectiveness, efficiency, and quality-of-service
Offers generalized theories applicable to a wide range of hardware and software systems
Download the book Formal Analysis of Future Energy Systems Using Interactive Theorem Proving for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)