Arthur Gatouillat, Youakim Badr. Verifiable and Resource-Aware Component Model for IoT Devices. In Richard Chbeir, Asanee Kawtrakul, William I. Grosky, Ali Ouni 0001, editors, Proceedings of the 9th International Conference on Management of Digital EcoSystems, MEDES 2017, Bangkok, Thailand, November 07-10, 2017. pages 235-242, ACM, 2017. [doi]
Abstract is missing.