Blar i Institutt for datateknologi, elektroteknologi og realfag på emneord "coloured petri nets"
Viser treff 1-2 av 2
-
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model
(Peer reviewed; Journal article, 2019)Implementing test suites for distributed software systems is a complex and time-consuming task due to the number of test cases that need to be considered in order to obtain high coverage. We show how a formal Coloured Petri ... -
On modelling and validation of the MQTT IoT protocol for M2M communication
(Journal article; Peer reviewed, 2018)Machine to Machine (M2M) communication and Internet of Things (IoT) are becoming still more pervasive with the increase of communicating devices used in cyber-physical environments. A prominent approach to communication ...