Login / Signup
Boutheina Bannour
ORCID
Publication Activity (10 Years)
Years Active: 2011-2024
Publications (10 Years): 21
Top Topics
Distributed Systems
Finite Automata
Public Transportation
Interaction Model
Top Venues
CoRR
ICST Workshops
FormaliSE@ICSE
SAC
</>
Publications
</>