On Modelling and Validation of the MQTT IoT Protocol for M2M Communication.
Alejandro RodríguezLars Michael KristensenAdrian RutlePublished in: PNSE@Petri Nets/ACSD (2018)
Keyphrases
- communication protocol
- communication protocols
- tcp ip
- management system
- floor control
- smart objects
- group communication
- multi party
- lightweight
- communication networks
- interprocess communication
- vehicular ad hoc networks
- state information
- computer networks
- communication overhead
- location information
- communication systems
- protocol stack
- smart card
- key management
- communication technologies
- cloud computing
- mobile computing
- model validation
- network devices
- communication infrastructure
- mobile devices