Temporal verification of mobile publish/subscribe machine-to-machine communications.

Ghada Gharbi, Nawal Guermouche, Thierry Monteil

Browse the full WoWMoM paper archive.