Changes for page GT HiFi : Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents
Last modified by Aurélie Hurault on 2020/07/30 12:06
From version 7.1
edited by Aurélie Hurault
on 2020/06/08 10:19
on 2020/06/08 10:19
Change comment:
There is no comment for this version
To version 8.1
edited by Aurélie Hurault
on 2020/06/08 15:08
on 2020/06/08 15:08
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -33,6 +33,7 @@ 33 33 * (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)SVS, LACL, Université Paris-Est Créteil 34 34 * (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)DTIS, ONERA, Toulouse 35 35 * (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)VASCO, LIG, Grenoble 36 +* (% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)MaREL, LIRMM, Montpellier 36 36 * (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)EN COURS DE CONSTRUCTION 37 37 38 38 (% style="line-height:1.656; margin-top:21px; margin-bottom:5px" %) ... ... @@ -44,10 +44,10 @@ 44 44 (% style="line-height:1.656; margin-top:16px; margin-bottom:16px" %) 45 45 (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)Les réunions annuelles / visios conférences pourront être communes avec d'autres groupes du GDR GPL notamment : 46 46 47 -* (% style="font-size: variant:white-space: pre-wrap;font-family:Arial;color: rgb(0, 0, 0);font-weight:font-style: normal; text-decoration:48 -* (% style="font-size: variant:white-space: pre-wrap;font-family:Arial;color: rgb(0, 0, 0);font-weight:font-style: normal; text-decoration:49 -* (% style="font-size: variant:white-space: pre-wrap;font-family:Arial;color: rgb(0, 0, 0);font-weight:font-style: normal; text-decoration:50 -* (% style="font-size: variant:white-space: pre-wrap;font-family:Arial;color: rgb(0, 0, 0);font-weight:font-style: normal; text-decoration:48 +* (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)GT Génie Logiciel et Intelligence Artificielle (GLIA) 49 +* (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)GT compilation 50 +* (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)GT Ingénierie des Exigences (IE) 51 +* (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)GT Langages et Vérification de Programmes (LVP) 51 51 52 52 (% style="line-height:1.656; margin-top:16px; margin-bottom:16px" %) 53 53 (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)voir avec d'autres GDR :