A formal model and analysis of the MQ telemetry transport protocol

Research output: Chapter in Book/Report/Conference proceedingConference contribution

189 Downloads (Pure)

Fingerprint

Dive into the research topics of 'A formal model and analysis of the MQ telemetry transport protocol'. Together they form a unique fingerprint.

Computer Science

INIS