Login / Signup
Imane Haur
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 5
Top Topics
Hardware And Software
Formal Verification
Petri Net
Ims Ld
Top Venues
CoDIT
Softw. Qual. J.
CyPhy/WESE
RTNS
</>
Publications
</>