Skip to Main content Skip to Navigation
Journal articles

Formal Modeling and Checking of an Enhanced variant of the IEEE 802.11 CSMA/CA Protocol

Youcef Hammal Jalel Ben-Othman Lynda Mokdad 1 Abdelkrim Abdelli
1 LACL - Laboratoire d'Algorithmique Complexité et Logique
Document type :
Journal articles
Complete list of metadata
https://hal.inria.fr/hal-01724165
Contributor : Lynda Mokdad Connect in order to contact the contributor
Submitted on : Tuesday, March 6, 2018 - 10:50:05 AM
Last modification on : Tuesday, October 19, 2021 - 4:09:40 PM

Identifiers

  • HAL Id : hal-01724165, version 1

Collections

UPEC-UPEM | LACL | UPEC

Citation

Youcef Hammal, Jalel Ben-Othman, Lynda Mokdad, Abdelkrim Abdelli. Formal Modeling and Checking of an Enhanced variant of the IEEE 802.11 CSMA/CA Protocol. Journal of Communications and Networks, IEEE & Korea Information and Communications Society, 2014. ⟨hal-01724165⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles

 

Contact                    Legal Notice                    Personal Data