Génération de correctifs pour les modèles partiels d'AnimUML
Mickaël Clavreul
(1, 2)
,
Frédéric Jouault
(1, 2)
,
Maxime Méré
(3, 1)
,
Matthias Brun
(1, 2)
,
Théo Le Calvar
(4, 5)
,
Matthias Pasquier
(6)
,
Ciprian Teodorov
(7, 8)
1
ÉRIS -
ESEO-ÉRIS
2 LERIA - Laboratoire d'Etudes et de Recherche en Informatique d'Angers
3 STMicroelectronics
4 IMT Atlantique - DAPI - Département Automatique, Productique et Informatique
5 LS2N - équipe NaoMod - NaoMod - Nantes Software Modeling Group
6 eRTOSgener
7 ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne
8 Lab-STICC_P4S - Equipe Processes for Safe and Secure Software and Systems
2 LERIA - Laboratoire d'Etudes et de Recherche en Informatique d'Angers
3 STMicroelectronics
4 IMT Atlantique - DAPI - Département Automatique, Productique et Informatique
5 LS2N - équipe NaoMod - NaoMod - Nantes Software Modeling Group
6 eRTOSgener
7 ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne
8 Lab-STICC_P4S - Equipe Processes for Safe and Secure Software and Systems
Mickaël Clavreul
- Fonction : Auteur
- PersonId : 1225625
- IdHAL : mickael-clavreul
- ORCID : 0000-0002-2734-4941
Frédéric Jouault
- Fonction : Auteur
- PersonId : 3646
- IdHAL : frederic-jouault
- ORCID : 0000-0002-2395-9623
- IdRef : 110218140
Matthias Brun
- Fonction : Auteur
- PersonId : 882892
Théo Le Calvar
- Fonction : Auteur
- PersonId : 173385
- IdHAL : theo-le-calvar
- ORCID : 0000-0003-2273-2053
Ciprian Teodorov
- Fonction : Auteur
- PersonId : 9871
- IdHAL : ciprian-teodorov
- IdRef : 161534058