Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol - Université Paris-Est-Créteil-Val-de-Marne
Article Dans Une Revue Journal of Communications and Networks Année : 2014

Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol

Domaines

Informatique [cs]

lynda mokdad  : Connectez-vous pour contacter le contributeur

https://hal.u-pec.fr/hal-04030501

Soumis le : mercredi 15 mars 2023-15:21:12

Dernière modification le : jeudi 28 novembre 2024-10:50:25

Fichier non déposé

Dates et versions

hal-04030501 , version 1 (15-03-2023)

Identifiants

Citer

Youcef Hammal, Jalel Ben-Othman, Lynda Mokdad, Abdelkrim Abdelli. Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol. Journal of Communications and Networks, 2014, 16 (4), pp.385-396. ⟨10.1109/JCN.2014.000068⟩. ⟨hal-04030501⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS13 LACL OCA UPEC L2TI GALILE SORBONNE-PARIS-NORD ACT-R
22 Consultations
0 Téléchargements

Altmetric

Partager

More