Formal Analysis of Future Energy Systems Using Interactive Theorem Proving - SpringerBriefs in Applied Sciences and Technology
Latest Publications

TOTAL DOCUMENTS

6

(FIVE YEARS 6)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030784089, 9783030784096

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formalization of Stability Theory

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving - SpringerBriefs in Applied Sciences and Technology ◽

10.1007/978-3-030-78409-6_3 ◽

2021 ◽

pp. 31-45

Author(s):

Asad Ahmed ◽

Osman Hasan ◽

Falah Awwad ◽

Nabil Bastaki

Keyword(s):

Stability Theory

Download Full-text

Introduction

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving - SpringerBriefs in Applied Sciences and Technology ◽

10.1007/978-3-030-78409-6_1 ◽

2021 ◽

pp. 1-22

Author(s):

Asad Ahmed ◽

Osman Hasan ◽

Falah Awwad ◽

Nabil Bastaki

Download Full-text

Conclusions

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving - SpringerBriefs in Applied Sciences and Technology ◽

10.1007/978-3-030-78409-6_6 ◽

2021 ◽

pp. 77-79

Author(s):

Asad Ahmed ◽

Osman Hasan ◽

Falah Awwad ◽

Nabil Bastaki

Download Full-text

Formalization of Asymptotic Notations

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving - SpringerBriefs in Applied Sciences and Technology ◽

10.1007/978-3-030-78409-6_5 ◽

2021 ◽

pp. 61-76

Author(s):

Asad Ahmed ◽

Osman Hasan ◽

Falah Awwad ◽

Nabil Bastaki

Download Full-text

Formalization of Cost and Utility in Microeconomics

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving - SpringerBriefs in Applied Sciences and Technology ◽

10.1007/978-3-030-78409-6_4 ◽

2021 ◽

pp. 47-60

Author(s):

Asad Ahmed ◽

Osman Hasan ◽

Falah Awwad ◽

Nabil Bastaki

Download Full-text

Interactive Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving - SpringerBriefs in Applied Sciences and Technology ◽

10.1007/978-3-030-78409-6_2 ◽

2021 ◽

pp. 23-29

Author(s):

Asad Ahmed ◽

Osman Hasan ◽

Falah Awwad ◽

Nabil Bastaki

Keyword(s):

Theorem Proving ◽

Interactive Theorem Proving

Download Full-text