Projet MORSE

Contact : Fabrice.Kordon (at) nulllip6.fr
From 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, AONIX
Ministère de l'industrie

Fabrice KORDON