Login / Signup
Chafia Bouanaka
ORCID
Publication Activity (10 Years)
Years Active: 1997-2023
Publications (10 Years): 26
Top Topics
Model Checking
Scripting Languages
Formal Model
Petri Net
Top Venues
ICAASE
AICCSA
WETICE
RIF
</>
Publications
</>