Formal Modeling and Checking of an Enhanced variant of the IEEE 802.11 CSMA/CA Protocol - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Journal of Communications and Networks Année : 2014

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

Youcef Hammal
  • Fonction : Auteur
Jalel Ben-Othman
Lynda Mokdad
Laboratoire d'Algorithmique Complexité et Logique
CV
Abdelkrim Abdelli
  • Fonction : Auteur

Domaines

Informatique [cs]

lynda mokdad  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01724165

Soumis le : mardi 6 mars 2018-10:50:05

Dernière modification le : mardi 19 octobre 2021-16:09:40

Fichier non déposé

Dates et versions

hal-01724165 , version 1 (06-03-2018)

Identifiants

  • HAL Id : hal-01724165 , version 1

Citer

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, 2014. ⟨hal-01724165⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

LACL UPEC
36 Consultations
0 Téléchargements

Partager

More