Model Checking of Trickle-based IoT Dissemination

Boutheina Bannour, Arnault Lapitre. Model Checking of Trickle-based IoT Dissemination. In 9th Mediterranean Conference on Embedded Computing, MECO 2020, Budva, Montenegro, June 8-11, 2020. pages 1-6, IEEE, 2020. [doi]

Abstract

Abstract is missing.