Formal Modeling and Checking of an Enhanced variant of the IEEE 802.11 CSMA/CA Protocol - Archive ouverte HAL Access content directly
Journal Articles Journal of Communications and Networks Year : 2014

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

, , (1) ,
1
Youcef Hammal
  • Function : Author
Jalel Ben-Othman
Lynda Mokdad
  • Function : Author
Laboratoire d'Algorithmique Complexité et Logique
Abdelkrim Abdelli
  • Function : Author

Domains

Computer Science [cs]

lynda mokdad  : Connect in order to contact the contributor

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

Submitted on : Tuesday, March 6, 2018-10:50:05 AM

Last modification on : Tuesday, October 19, 2021-4:09:40 PM

Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-01724165 , version 1

Cite

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

LACL UPEC
24 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More