Osman Hasan

Articles populaires de Osman Hasan

Afficher toutes les offres

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

Prix des articles � partir de

EUR 10,15

Afficher les 6�offres

Rechercher �galement
Neuf, Ancien ou d'occasion
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Ahmed, Asad Q; Hasan, Osman; Awwad, Falah; Bastaki, Nabil

Prix des articles � partir de

EUR 58,23

Afficher les 11�offres

Rechercher �galement
Neuf