Projet MORSE
Contact : Fabrice.Kordon (at) nulllip6.frDu 01/01/2003 au 31/12/2005
Méthodes et outils pour la réalisation et la vérification formelle de systèmes intéropérables embarqués critiques.
LaBRI, SAGEM, AONIXMinistère de l'industrie
Fabrice KORDON