Osman Hasan

Osman Hasan

1 ספרים במאגר

ספרים

Formal Techniques for Safety-Critical SystemsOsman Hasan

Formal Techniques for Safety-Critical Systems

Osman Hasan · 2020

ספרים משותפים ואוספים

ספרים שבהם Osman Hasan מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Intelligent Computer MathematicsHerman Geuvers

Intelligent Computer Mathematics

Herman Geuvers · 2018

Formal Analysis of Future Energy Systems Using Interactive Theorem ProvingAsad Ahmed

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Asad Ahmed · 2021