Models and verification for composition and reconfiguration of web of things applications
AKM Nadumane - 2020 - theses.hal.science
The Internet of Things (IoT) applications are built by interconnecting everyday objects over a
network. These objects or devices sense the environment around them, and their network …
network. These objects or devices sense the environment around them, and their network …
Modèles et vérification pour la composition et la reconfiguration d'applications basées sur le web des objets
M Nadumane, A Krishna - 2020 - theses.fr
Résumé Les applications de l'Internet des objets (IoT) sont construites en interconnectant
les objets du quotidien en réseau. Les objets connectés collaborent ensemble, afin …
les objets du quotidien en réseau. Les objets connectés collaborent ensemble, afin …
Models and Verification for Composition and Reconfiguration of Web of Things Applications
AKM Nadumane - 2020 - inria.hal.science
The Internet of Things (IoT) applications are built by interconnecting everyday objects over a
network. These objects or devices sense the environment around them, and their network …
network. These objects or devices sense the environment around them, and their network …
Models and Verification for Composition and Reconfiguration of Web of Things Applications
AKM Nadumane - 2020 - hal.science
The Internet of Things (IoT) applications are built by interconnecting everyday objects over a
network. These objects or devices sense the environment around them, and their network …
network. These objects or devices sense the environment around them, and their network …