Formal analysis of future energy systems using interactive theorem proving / Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki.
This book describes an accurate analysis technique for energy systems based on formal methods' computer-based mathematical logic techniques for the specification, validation, and verification of the systems. Correctness and accuracy of the financial, operational, and implementation analysis are...
Full description
Saved in:
Bibliographic Details
| Main Authors: |
Ahmed, Asad
(Author),
Hasan, Osman, 1975-
(Author),
Awwad, Falah
(Author),
Bastaki, Nabil
(Author) |
|---|
| Format: | eBook
|
|---|
| Language: | English |
|---|
| Published: |
Cham, Switzerland :
Springer,
©2022.
|
|---|
| Series: | SpringerBriefs in applied sciences and technology,
|
|---|
| Subjects: | |
|---|
| Online Access: | Click for online access
|
|---|