Changes for page GT Langages et vérification de programmes (LVP)
Last modified by Julien Signoles on 2024/02/07 13:55
From version 63.1
edited by Julien Signoles
on 2023/06/08 11:16
on 2023/06/08 11:16
Change comment:
There is no comment for this version
To version 60.1
edited by Julien Signoles
on 2023/03/17 08:49
on 2023/03/17 08:49
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -23,7 +23,6 @@ 23 23 = Porteurs du GT = 24 24 25 25 * [[Alain Giorgetti>>mailto:alain.giorgetti_AT_femto-st.fr]], Institut FEMTO-ST (UMR CNRS 6174), Université de Franche-Comté 26 -* [[Nicolas Magaud>>https://dpt-info.u-strasbg.fr/~~magaud/]], ICube (UMR CNRS 7357), Université de Strasbourg 27 27 * [[Julien Signoles>>mailto:julien.signoles_AT_cea.fr]], Université Paris-Saclay, CEA, List 28 28 29 29 = Animations = ... ... @@ -64,7 +64,7 @@ 64 64 |IG|XLIM|Poitiers|Laurent Fuchs|3 65 65 |IGG|ICube|Strasbourg|Julien Narboux|5 66 66 |II (Informatique Interactive)|ENAC|Toulouse|Célia Picard|7 67 -|Spécification et Vérification de Systèmes|LACL|Créteil|Frédéric Gava| 366 +|Spécification et Vérification de Systèmes|LACL|Créteil|Frédéric Gava|1 68 68 |LMV|LIFO|Orléans|Frédéric Dabrowski|3 69 69 |LoVe|LIPN|Villetaneuse|Micaela Mayero|8 70 70 |LSL (Laboratoire de Sûreté et de Sécurité des Logiciels)|CEA LIST|Palaiseau|Julien Signoles|20