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 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
To version 14.1
edited by Sylvain Conchon
on 2020/06/10 17:58
on 2020/06/10 17:58
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -39,6 +39,7 @@ 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 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 42 +* (% 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 APR, LIP6, Sorbonne Université 42 42 * (% 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 43 43 44 44 (% style="line-height:1.656; margin-top:21px; margin-bottom:5px" %)