Title :

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

Author(s) :

Bliudze, Simon [Auteur]
Self-adaptation for distributed services and large software systems [SPIRALS]
Semini, Laura [Auteur]
Dipartimento di Informatica [Pisa] [DI]

Conference title :

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

City :

Madrid

Start date of the conference :

2021-05-17

Publisher :

IEEE

Publication date :

2021

HAL domain(s) :

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

Language :

Anglais

Audience :

Internationale

Popular science :

Non

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL