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

Type de document :
Article dans une revue
Journal of Communications and Networks, IEEE & Korea Information and Communications Society, 2014
Liste complète des métadonnées

https://hal.inria.fr/hal-01724165
Contributeur : Lynda Mokdad <>
Soumis le : mardi 6 mars 2018 - 10:50:05
Dernière modification le : mardi 13 mars 2018 - 11:10:08

Identifiants

  • HAL Id : hal-01724165, version 1

Collections

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〉

Partager

Métriques

Consultations de la notice

26