Login / Signup
Naim Aber
Publication Activity (10 Years)
Years Active: 2012-2013
Publications (10 Years): 0
Top Topics
Petri Net
Wireless Sensor Networks
Discrete Event Systems
State Machines
Top Venues
RP
TIME
Wirel. Pers. Commun.
</>
Publications
</>
Kais Klai
,
Naim Aber
,
Laure Petrucci
Verification of Reachability Properties for Time Petri Nets.
RP
(2013)
Kais Klai
,
Naim Aber
,
Laure Petrucci
A New Approach to Abstract Reachability State Space of Time Petri Nets.
TIME
(2013)
Fouzi Semchedine
,
Louiza Bouallouche-Medjkoune
,
Leila Bennacer
,
Naim Aber
,
Djamil Aïssani
Routing Protocol Based on Tabu Search for Wireless Sensor Networks.
Wirel. Pers. Commun.
67 (2) (2012)