Blar i Fakultet for ingeniør- og naturvitskap / Faculty of Engineering and Science på emneord "verification"
Viser treff 1-1 av 1
-
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 ...