Thése doctorat

Modelling, verification and performance evaluation of the CSMA/CA protocol in WSNs, by Coloured Petri Nets

zroug siham, Auteur ; Laid Kahloul, Directeur de thèse | Biskra [Algerie] : Université Mohamed Khider | 2021

This thesis tackles the problem of formal modelling and verification of Carrier Sense Multiple Access with Collision Avoidance (CSMA/CA) protocol in wireless sensor networks. Indeed, our research focuses on the modelling, the verification and [...]

Plus d'information...

Ajoutez avis

Consulter en ligne

Non prêtable