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]
@inproceedings{GatouillatB17,
title = {Verifiable and Resource-Aware Component Model for IoT Devices},
author = {Arthur Gatouillat and Youakim Badr},
year = {2017},
doi = {10.1145/3167020.3167056},
url = {http://doi.acm.org/10.1145/3167020.3167056},
researchr = {https://researchr.org/publication/GatouillatB17},
cites = {0},
citedby = {0},
pages = {235-242},
booktitle = {Proceedings of the 9th International Conference on Management of Digital EcoSystems, MEDES 2017, Bangkok, Thailand, November 07-10, 2017},
editor = {Richard Chbeir and Asanee Kawtrakul and William I. Grosky and Ali Ouni 0001},
publisher = {ACM},
}