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)
The development of embedded applications (such as Wireless Sensor Network protocols) often requires a shift to formal specifications. To insure the reliability and the performance of the WSNs, such protocols must be designed following some methods reducing error rate. Formal methods (as Automata, Petri nets, algebra, logics, etc.) were largely used in the specification of these protocols, their analysis and their verification. After that, their implementation is an important phase to deploy,doi:10.5121/csit.2017.71204 fatcat:glqyutcvqbga3aegojvhuwnhny