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

Mi Chen, Lynda Mokdad, Jalel Ben-Othman, Jean-Michel Fourneau

Browse the full GLOBECOM paper archive.