Login / Signup
Yousra Hafidi
ORCID
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 10
Top Topics
Real Time Embedded
Timing Constraints
Mutual Exclusion
Theorem Prover
Top Venues
ICSOFT
ENASE
ENASE (Selected Papers)
ICSOFT (Selected Papers)
</>
Publications
</>