Towards a Formal Analysis of MQtt Protocol in the Context of Communicating Vehicles.

Samir Chouali Azzedine Boukerche Ahmed Mostefaoui

Published in: MobiWac (2017)

Keyphrases

formal analysis
ban logic
real time
context aware
formal methods
machine learning
lightweight
contextual information
agent model
vehicle detection
artificial intelligence
building blocks
payment protocol