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

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⟩

Collections

LACL UPEC
0 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More