Automated Composition, Analysis and Deployment of IoT Applications

Francisco Durán; Gwen Salaün; Ajay Krishna

doi:10.1007/978-3-030-29852-4_21

Communication Dans Un Congrès Année : 2019

Automated Composition, Analysis and Deployment of IoT Applications

(1) , (2) , (2)

1
2

Francisco Durán

Fonction : Auteur
PersonId : 1003768

Universidad de Málaga [Málaga] = University of Málaga [Málaga]

Gwen Salaün

Fonction : Auteur
PersonId : 880331

Construction of verified concurrent systems

Ajay Krishna

Fonction : Auteur
PersonId : 19231
IdHAL : ajay-krishna
ORCID : 0000-0002-1374-6851
IdRef : 254560652

Construction of verified concurrent systems

Domaines

Génie logiciel [cs.SE]

Fichier principal

main.pdf (611.69 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Gwen Salaün : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02345865

Soumis le : lundi 4 novembre 2019-16:40:18

Dernière modification le : jeudi 4 avril 2024-21:27:56

Archivage à long terme le : mercredi 5 février 2020-22:03:59

Dates et versions

hal-02345865 , version 1 (04-11-2019)

Identifiants

HAL Id : hal-02345865 , version 1
DOI : 10.1007/978-3-030-29852-4_21

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA LIG LIG_MFML_CONVECS CONVECS INRIA2 LIG_SIDCH

82 Consultations

182 Téléchargements

Automated Composition, Analysis and Deployment of IoT Applications

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager