Formal Validation of ADR Protocol in LoraWan Network Using Event-b - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023
Fichier non déposé

Dates et versions

hal-04379252 , version 1 (08-01-2024)

Identifiants

Citer

Chaib Mostefa, Nouar Abdelouahab, Tahar Abbes Mounir, Selma Boumerdassi, Smain Femmam, et al.. Formal Validation of ADR Protocol in LoraWan Network Using Event-b. 2023 7th International Conference on Computer, Software and Modeling (ICCSM), Jul 2023, Paris, France. pp.11-15, ⟨10.1109/ICCSM60247.2023.00011⟩. ⟨hal-04379252⟩
11 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More