MPG.eBooks - Author Search Results

Cover Image

1

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

by Ahmed, Asad, Hasan, Osman, Awwad, Falah, Bastaki, Nabil
Published 2022

Springer International Publishing

Cover Image

2

Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers

Published 2020

Springer International Publishing

Other Authors: “...Hasan, Osman...”

Cover Image

3

Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Published 2017

Springer International Publishing

Other Authors: “...Hasan, Osman...”