Osman Hasan

Articoli popolari di Osman Hasan

Visualizza tutte le offerte

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

Prezzi articolo a partire da

EUR 10,20

Visualizza 12 offerte

Trova anche
Nuovi, Antichi o usati
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Ahmed, Asad; Hasan, Osman; Awwad, Falah; Bastaki, Nabil

Prezzi articolo a partire da

EUR 58,23

Visualizza 13 offerte

Trova anche
Nuovi