![](/img/cover-not-exists.png)
[IEEE 2020 9th Mediterranean Conference on Embedded Computing (MECO) - Budva, Montenegro (2020.6.8-2020.6.11)] 2020 9th Mediterranean Conference on Embedded Computing (MECO) - Model Checking of Trickle-based IoT Dissemination
Bannour, Boutheina, Lapitre, ArnaultYear:
2020
DOI:
10.1109/MECO49872.2020.9134251
File:
PDF, 490 KB
2020