|
[CMOF23]
Mi Chen, Lynda Mokdad, Jalel Ben Othman and Jean-Michel Fourneau.
Probabilistic Model Checking for Unconfirmed Transmission in LoRaWAN on the MAC Layer.
In Proc. IEEE Global Communications Conference (GLOBECOM'23).
2023.
[Uses probabilistic model checking and PRISM to analyse the performance of the LoRaWAN wireless network protocol.]
|
|
Links:
[Google]
[Google Scholar]
|