Probabilistic Model Checking for Unconfirmed Transmission in LoRaWAN on the MAC Layer - Université Paris-Est-Créteil-Val-de-Marne
Communication Dans Un Congrès Année : 2023

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

Domaines

Informatique [cs]

MI CHEN  : Connectez-vous pour contacter le contributeur

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

Soumis le : lundi 13 mai 2024-11:48:21

Dernière modification le : lundi 9 septembre 2024-15:08:09

Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

LACL UPEC UVSQ DAVID UNIV-PARIS-SACLAY GS-HUMANITIES-HERITAGE GS-COMPUTER-SCIENCE
23 Consultations
0 Téléchargements

Altmetric

Partager

More