Automated Composition, Analysis and Deployment of IoT Applications

Francisco Durán 1 Gwen Salaün 2 Ajay Krishna 2
2 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Document type :
Conference papers
Complete list of metadatas

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/hal-02345865
Contributor : Gwen Salaün <>
Submitted on : Monday, November 4, 2019 - 4:40:18 PM
Last modification on : Thursday, November 14, 2019 - 4:23:36 PM

File

main.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Francisco Durán, Gwen Salaün, Ajay Krishna. Automated Composition, Analysis and Deployment of IoT Applications. TOOLS 2019 - 51st International Conference on Software Technology: Methods and Tools, Oct 2019, Innopolis, Russia. pp.252-268, ⟨10.1007/978-3-030-29852-4_21⟩. ⟨hal-02345865⟩

Share

Metrics

Record views

26

Files downloads

246