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
