Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol - Université Paris-Est-Créteil-Val-de-Marne
Journal Articles Journal of Communications and Networks Year : 2014

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

Domains

Computer Science [cs]

lynda mokdad  : Connect in order to contact the contributor

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

Submitted on : Wednesday, March 15, 2023-3:21:12 PM

Last modification on : Tuesday, September 10, 2024-3:16:25 AM

No file

Dates and versions

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

Identifiers

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS13 LACL UPEC L2TI GALILE SORBONNE-PARIS-NORD ACT-R
18 View
0 Download

Altmetric

Share

More