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