Login / Signup
Osman Hasan
ORCID
Publication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 170
Top Topics
Formal Verification
Fault Tree
Theorem Proving
Model Checking
Top Venues
CoRR
CICM
SysCon
FTSCS
</>
Publications
</>