Browsing by Subject Medium Access Control, Wireless Sensor Networks, CSMA/CA, EHWSNs, Formal Modelling, Formal Analysing, Performance Evaluation, Coloured Petri nets, Linear Temporal Logic. Machine Learning
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
1-Jun-2021 | Modelling, verification and performance evaluation of the CSMA/CA protocol in WSNs, by Coloured Petri Nets | ZROUG, SIHAM |