Last modified by Nikolai Kosmatov on 2022/06/07 21:37

From version 14.1
edited by Nikolai Kosmatov
on 2020/06/11 16:17
Change comment: There is no comment for this version
To version 15.1
edited by Nikolai Kosmatov
on 2020/06/11 16:44
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -85,7 +85,7 @@
85 85  * groupe Méthode Formelles du laboratoire  LSEC (Laboratoire Systèmes Embarqués Critiques) de Thales Recherche et Technologie à Palaiseau
86 86  ** Nombre de permanents impliqués: 3
87 87  ** Contact MTV2: Nikolai Kosmatov
88 -* société Montimage
88 +* société Montimage à Paris
89 89  ** Nombre de permanents impliqués: 8
90 90  ** Contact MTV2: Ana Cavalli
91 91