Djellouli Ahmed Amine

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 1

Top Topics

Energy Consumption

Formal Verification

Ad Hoc Networks

Top Venues

Int. J. Commun. Syst.

Publications

Djellouli Ahmed Amine, Mustapha Kamel Abdi, Kechar Bouabdellah
Formal verification of a new authenticated and optimized version of AOMDV for WSN. Int. J. Commun. Syst. 33 (5) (2020)
Djellouli Ahmed Amine, Mustapha Kamel Abdi, Kechar Bouabdellah
Formal Verification of a New Version of AOMDV in ad hoc Network. EUSPN/ICTH (2014)