2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE 2021)

Simon Bliudze; Laura Semini

doi:10.1109/FormaliSE52586.2021

Proceedings/Recueil Des Communications Année : 2021

2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE 2021)

(1) , (2)

1
2

Simon Bliudze

Fonction : Auteur
PersonId : 16065
IdHAL : simon-bliudze
ORCID : 0000-0002-7900-5271
IdRef : 197854109

Self-adaptation for distributed services and large software systems

Laura Semini

Fonction : Auteur
PersonId : 1107765

Dipartimento di Informatica [Pisa]

Domaines

Systèmes embarqués Génie logiciel [cs.SE] Langage de programmation [cs.PL] Modélisation et simulation Système multi-agents [cs.MA]

Simon Bliudze : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03321958

Soumis le : mercredi 18 août 2021-15:51:45

Dernière modification le : mercredi 24 janvier 2024-09:54:24

Dates et versions

hal-03321958 , version 1 (18-08-2021)

Identifiants

HAL Id : hal-03321958 , version 1
DOI : 10.1109/FormaliSE52586.2021

Citer

Simon Bliudze, Laura Semini. 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE 2021). Simon Bliudze; Laura Semini. 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE), May 2021, Madrid, IEEE, 2021, ⟨10.1109/FormaliSE52586.2021⟩. ⟨hal-03321958⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA CRISTAL INRIA2 CRISTAL-SPIRALS TDS-MACS UNIV-LILLE

21 Consultations

0 Téléchargements

2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE 2021)

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager