Institut de Mathématiques de Luminy


Logique de la programmation
Contrats industriels 1999-2002

 

Depuis son arrivée à l'IML, A. RAUZY a mis en place trois contrats :

  • Un contrat avec Total-Elf-Fina autour du projet Réséda (fiabilité des réseaux, avec application aux plateformes de forage).
  • Un contrat avec Dassault-Aviation autour du projet AltaRica (mise au point d'un atelier de descriptions fonctionnelles et dysfonctionnelles de systèmes industriels).
  • Un contrat avec Ocland, qui agit pour le compte de E.A.D.S. (conseils et accompagnement sur le projet européen ESACS qui traite des exigences de sécurité dans les avions)

Page d'accueil
Sommaire