Probabilistic Model Checking for Unconfirmed Transmission in LoRaWAN on the MAC Layer - Université Paris-Est-Créteil-Val-de-Marne Access content directly
Conference Papers Year : 2023

Probabilistic Model Checking for Unconfirmed Transmission in LoRaWAN on the MAC Layer

Domains

Computer Science [cs]

MI CHEN  : Connect in order to contact the contributor

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

Submitted on : Monday, May 13, 2024-11:48:21 AM

Last modification on : Sunday, June 16, 2024-3:06:44 AM

No file

Dates and versions

hal-04573331 , version 1 (13-05-2024)

Identifiers

Cite

Mi Chen, Lynda Mokdad, Jalel Ben Othman, Jean-Michel Fourneau. Probabilistic Model Checking for Unconfirmed Transmission in LoRaWAN on the MAC Layer. GLOBECOM 2023 - 2023 IEEE Global Communications Conference, Dec 2023, Kuala Lumpur, France. pp.2457-2462, ⟨10.1109/GLOBECOM54140.2023.10437456⟩. ⟨hal-04573331⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

LACL UPEC UVSQ DAVID UNIV-PARIS-SACLAY GS-HUMANITIES-HERITAGE GS-COMPUTER-SCIENCE
19 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More