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 33.1
edited by Nikolai Kosmatov
on 2020/06/30 22:20
on 2020/06/30 22:20
Change comment:
There is no comment for this version
To version 25.1
edited by Antoine Rollet
on 2020/06/25 15:16
on 2020/06/25 15:16
Change comment:
There is no comment for this version
Summary
-
Page properties (2 modified, 0 added, 0 removed)
Details
- Page properties
-
- Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki. NikolaiKosmatov1 +XWiki.AntoineRollet - Content
-
... ... @@ -26,10 +26,10 @@ 26 26 27 27 == Porteurs du GT == 28 28 29 -* Nikolaï KOSMATOV, CEA List & THALES , mél : nikolaikosmatov (at) gmail (dot) com30 -* Pascale LE GALL, CentraleSupélec , mél : pascale.legall (at) centralesupelec (dot) fr31 -* Natalia KUSHIK, TSP , mél : natalia.kushik (at) telecom-sudparis (dot) eu32 -* Antoine ROLLET, LaBRI , mél : antoine.rollet (at) labri (dot) fr29 +* Nikolaï KOSMATOV, CEA List & THALES 30 +* Pascale LE GALL, CentraleSupélec 31 +* Natalia KUSHIK, TSP 32 +* Antoine ROLLET, LaBRI 33 33 34 34 Précision : pendant la période de transition, les anciens responsables MTV2, Nikolaï et Pascale, et les nouveaux responsables, Antoine et Natalia, vont animer le GT ensemble. 35 35 ... ... @@ -97,9 +97,6 @@ 97 97 * thème DSI (Données, services, intelligence) de l’équipe SIC (Systèmes d’Information et de Communication), laboratoire LIMOS, CNRS (UMR 6158), Université Clermont Auvergne, Ecole Nationale Supérieure des Mines de Saint-Etienne (EMSE) 98 98 ** Nombre de permanents impliqués: 2 99 99 ** Contact MTV2: Sébastien Salva 100 -* équipe DIVERSE, laboratoire Irisa, Univ. Rennes 1, Inria, CNRS 101 -** Nombre de permanents impliqués: à préciser 102 -** Contact MTV2: Olivier Barais 103 103 104 104 Des équipes industrielles associées : 105 105 ... ... @@ -115,6 +115,6 @@ 115 115 116 116 == Interactions == 117 117 118 -Le GT MTV2 aura des intéractions et actions communes avec les GT "Langages et vérification de programmes" (LVP) et "Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents" (HIFI). Notamment, des journées de travail communes ou co-localisées seront organisées. Les GTs vont participer ensemble à l'atelier AFADL. Des intéractions avec le GT "GénieLogiciel etIntelligenceArtificielle"(GLIA)sont aussi prévues.115 +Le GT MTV2 aura des intéractions et actions communes avec les GT "Langages et vérification de programmes" (LVP) et "Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents" (HIFI). Notamment, des journées de travail communes ou co-localisées seront organisées. Les GTs vont participer ensemble à l'atelier AFADL. Des intéractions avec le GT GLIA sont aussi prévues. 119 119 120 120