Changes for page GT "Méthodes de test pour la validation et la vérification" (MTV2 )
Last modified by Nikolai Kosmatov on 2022/06/07 21:37
From version 7.5
edited by Antoine Rollet
on 2020/06/11 10:33
on 2020/06/11 10:33
Change comment:
There is no comment for this version
To version 7.7
edited by Antoine Rollet
on 2020/06/11 10:36
on 2020/06/11 10:36
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -39,17 +39,17 @@ 39 39 ** Nombre de permanents impliqués: 4 40 40 ** Contact MTV2: Laurent Mounier 41 41 42 -* équipe CORSE (Compiler Optimization and Run-time SystEms), laboratoire LIG (Laboratoire d’Informatique de Grenoble), Université Grenoble Alpes, Grenoble INP, CNRS, Inria ,42 +* équipe CORSE (Compiler Optimization and Run-time SystEms), laboratoire LIG (Laboratoire d’Informatique de Grenoble), Université Grenoble Alpes, Grenoble INP, CNRS, Inria 43 43 ** Nombre de permanents impliqués: 6 44 44 ** Contact MTV2: Yliès Falcone 45 45 46 -* Equipe AA,Laboratoire,Lieu47 -** Nombre de permanents impliqués: 48 -** Contact MTV2: 46 +* équipe VASCO (VAlidation de Systèmes, Composants et Objets), laboratoire LIG (Laboratoire d’Informatique de Grenoble), Université Grenoble Alpes, Grenoble INP, CNRS 47 +** Nombre de permanents impliqués: 7 48 +** Contact MTV2: Yves Ledru 49 49 50 -* EquipeAA, Laboratoire,Lieu51 -** Nombre de permanents impliqués: 52 -** Contact MTV2: 50 +* équipe CTSYS (Sécurité des systèmes embarqués et distribués critiques), laboratoire LCIS (Laboratoire de Conception et d’Intégration des systèmes), Grenoble INP, Université Grenoble Alpes 51 +** Nombre de permanents impliqués: 9 52 +** Contact MTV2: Ioannis Parissis, 53 53 54 54 * Equipe AA, Laboratoire, Lieu 55 55 ** Nombre de permanents impliqués: