This shows you the differences between two versions of the page.
— |
cercles:contact [2015/09/29 17:40] (current) |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | La Certification Compositionnelle des Logiciels Embarqués CritiqueS et Sûrs | ||
+ | |||
+ | CONTACTS : | ||
+ | |||
+ | Sagem : philippe.baufreton@sagem.com, christian.haddad@sagem.com | ||
+ | |||
+ | Clearsy : etienne.prun@clearsy.com | ||
+ | |||
+ | LIP6 - UPMC : Emmanuel.Chailloux@lip6.fr | ||
+ | |||
+ | PPS - Université Paris-Diderot : pascal.manoury@pps.univ-paris-diderot.fr | ||
+ | |||
+ | |||
+ | |||
+ | |||