Projet MORSE
Contact : Fabrice.Kordon (at) nulllip6.frFrom 01/01/2003 to 12/31/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