2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE 2021) - Archive ouverte HAL
Proceedings/Recueil Des Communications Année : 2021

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

Simon Bliudze
Self-adaptation for distributed services and large software systems
CV
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 : dimanche 17 novembre 2024-14:42:04

Fichier non déposé

Dates et versions

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

Identifiants

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
38 Consultations
0 Téléchargements

Altmetric

Partager

More