TY  - THES
DP  - http://www.theses.fr/2020GRALM067
TI  - Modèles et vérification pour la composition et la reconfiguration d'applications basées sur le web des objets
AU  - Muroor Nadumane, Ajay Krishna
A3  - Salaün, GwenMateescu, Radu; Le Pallec, Michel
PY  - 2020
N1  - Thèse de doctorat Informatique Université Grenoble Alpes 2020
N1  - 2020GRALM067
UR  - http://www.theses.fr/2020GRALM067/document
ER  -