Publisher
Springer Science and Business Media LLC
Subject
Computational Mathematics,Computational Theory and Mathematics,Computer Science Applications,Numerical Analysis,Theoretical Computer Science,Software
Reference23 articles.
1. Khanafer M, Guennoun M, Mouftah HT (2013) A survey of beacon-enabled IEEE 802.15. 4 MAC protocols in wireless sensor networks. IEEE Commun Surv Tutor 16(2):856–876
2. Hmidi Z, Kahloul L, Benharzallah S (2016) Statistical model checking of CSMA/CA in WSNs. In: VECoS, Tunisia, pp 27–42
3. Chen Z, Peng Y, Yue W (2015) Modeling and analyzing CSMA/CA protocol for energy-harvesting wireless sensor networks. Int J Distrib Sens Netw 11(9):257157
4. Zohra H, Kahloul L, Benharzallah S (2020) Using priced timed automata for the specification and verification of CSMA/CA in WSNs. Int J Inf Commun Technol 17(2):129–145
5. Houimli M, Kahloul L, Benaoun S (2017) Formal specification, verification and evaluation of the MQTT protocol in the Internet of Things. In: 2017 International conference on mathematics and information technology (ICMIT), IEEE, Adrar, Algiers, December 4–5, pp 214–221
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献