Login / Signup
A Formal Model and Analysis of the MQ Telemetry Transport Protocol.
Benjamin Aziz
Published in:
ARES (2014)
Keyphrases
</>
formal model
real time