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
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⟩
22 Consultations
0 Téléchargements

Altmetric

Partager

More