Using priced timed automata for the specification and verification of CSMA/CA in WSNs

Citation:

Zohra H, KAHLOUL L, BENHARZALLAH S. Using priced timed automata for the specification and verification of CSMA/CA in WSNs. International Journal of Information and Communication TechnologyInternational Journal of Information and Communication Technology. 2020;17 :129-145.

Date Published:

2020

Publications /Année

Submitted (11)
2024 (16)
2023 (28)
2022 (169)
2021 (473)
2020 (440)
2019 (553)
2018 (630)
2017 (522)
2016 (439)

Publications / Auteur