A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
The main objectives of this deliverable are (i) to describe the project vision, the applicability scenarios, and demonstration use cases; (ii) to perform an analysis of the State of the Art and current ... market solutions; (iii) to identify and describe the technical and architectural requirements of the GUARD framework. ...  with the support of the deep learning techniques, petri nets  , and game theory models  . ...doi:10.5281/zenodo.3564301 fatcat:lrb6r6zat5bk5oqwpwwlui3ztm
Computer Science & Information Technology (CS & IT)
We implemented our solution and we illustrated the proposed approach on a protocol case study for the "humidity" and "temperature" sensing in WSNs applications. ... Formal methods (as Automata, Petri nets, algebra, logics, etc.) were largely used in the specification of these protocols, their analysis and their verification. ... Recently, several authors  -  have proposed model driven software engineering (MDSE) approach for WSNs code generation from Coloured Petri Nets (CPNs). Inge et.al. ...doi:10.5121/csit.2017.71204 fatcat:glqyutcvqbga3aegojvhuwnhny