A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
Computer Science & Information Technology (CS & IT)
Formal methods (as Automata, Petri nets, algebra, logics, etc.) were largely used in the specification of these protocols, their analysis and their verification. ... We implemented our solution and we illustrated the proposed approach on a protocol case study for the "humidity" and "temperature" sensing in WSNs applications. ... In addition, the authors do not conserve the consistency between the models. In  -  , the authors present an approach for developing the DMAMAC protocol proposed in  . ...doi:10.5121/csit.2017.71204 fatcat:glqyutcvqbga3aegojvhuwnhny