Login / Signup
Mohamed Ramdani
ORCID
Publication Activity (10 Years)
Years Active: 2011-2024
Publications (10 Years): 22
Top Topics
Temporal Logic
Formal Verification
Authorship Attribution
Collaborative Filtering
Top Venues
SITA
ICSOFT
ENASE
ENASE (Selected Papers)
</>
Publications
</>