Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
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
种类:
年:
2021
出版社:
Springer International Publishing
语言:
english
页:
79
ISBN 10:
3030784096
ISBN 13:
9783030784096
文件:
EPUB, 6.02 MB
IPFS:
,
english, 2021
因版权方投诉,本书无法下载