Verifiable and resource-aware component model for IoT devices

A Gatouillat, Y Badr - Proceedings of the 9th International Conference on …, 2017 - dl.acm.org
Most connected objects feature very limited capabilities that present challenges in terms of
data processing and connectivity. In addition, heterogeneity of smart Internet-of-Things …

Verifiable and resource-aware component model for IoT devices

A Gatouillat, Y Badr - 9th International Conference on Management of …, 2017 - pure.psu.edu
Most connected objects feature very limited capabilities that present challenges in terms of
data processing and connectivity. In addition, heterogeneity of smart Internet-of-Things …

[PDF][PDF] Verifiable and Resource-Aware Component Model for IoT Devices

A Gatouillat, Y Badr - 2017 - scholar.archive.org
Most connected objects feature very limited capabilities that present challenges in terms of
data processing and connectivity. In addition, heterogeneity of smart Internet-of-Things …

Verifiable and Resource-Aware Component Model for IoT Devices

A Gatouillat, Y Badr - 9th International Conference on Management of …, 2017 - hal.science
Most connected objects feature very limited capabilities that present challenges in terms of
data processing and connectivity. In addition, heterogeneity of smart Internet-of-Things …

[PDF][PDF] Verifiable and Resource-Aware Component Model for IoT Devices

A Gatouillat, Y Badr - 2017 - hal.science
Most connected objects feature very limited capabilities that present challenges in terms of
data processing and connectivity. In addition, heterogeneity of smart Internet-of-Things …