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 12.1
edited by Sylvain Conchon
on 2020/06/10 17:13
on 2020/06/10 17:13
Change comment:
There is no comment for this version
To version 13.1
edited by Sylvain Conchon
on 2020/06/10 17:25
on 2020/06/10 17:25
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -29,7 +29,7 @@ 29 29 (% 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 équipes impliquées sont : 30 30 31 31 * (% 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" %)ACADIE, IRIT, Toulouse 32 -* (% 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 membres du LMF (Laboratoire de Méthodes Formelles ,Université Paris- Saclay)32 +* (% 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 membres du futur LMF (Laboratoire de Méthodes Formelles) de l'Université Paris- Saclay 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 ... ... @@ -38,6 +38,7 @@ 38 38 * Samovar, Evry 39 39 * (% 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" %)Mosel, LORIA, Nancy 40 40 * (% 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" %)U2IS, ENSTA Paris 41 +* (% 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" %)Équipe Parkas, INRIA Paris 41 41 * (% 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 42 42 43 43 (% style="line-height:1.656; margin-top:21px; margin-bottom:5px" %)