Login / Signup
Ikhlass Ammar
ORCID
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Complex Systems
Timed Automata
Language Learning
Colored Petri Nets
Top Venues
Int. J. Found. Comput. Sci.
J. Inf. Secur. Appl.
</>
Publications
</>
Ikhlass Ammar
,
Yamen El Touati
,
John Mullins
,
Moez Yeddes
Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language.
Int. J. Found. Comput. Sci.
32 (2) (2021)
Ikhlass Ammar
,
Yamen El Touati
,
Moez Yeddes
,
John Mullins
Bounded opacity for timed systems.
J. Inf. Secur. Appl.
61 (2021)