Mlle | Adela Ramona | Dima | Compagnie Générale Géophysique | Gestion de données issues de fichiers de configuration. |
Mlle | Zineb | El-Fethouni | Clearsy - System Engineering | Modèles formels et sûreté de fonctionnement. |
Mlle | Lamiae | Eloifi | Galilée | Système de Navigation Virtuelle. |
M | Vincent | How Kit | LaBRI/MVTsi | Développements autour des outils AltaRica. |
M | Jérémy | Martin | Thales Avionics | Couverture Structurelle en validation du code embarqué du Head-up Flight Display System (HFDS). |
M | Guy-Roger | Ngatcha | TOTAl S.A. | |
Mlle | Meriem | Ouali-Alami | CRCI Aquitaine | |
M | Laurent | Sagaspe | CERT ONERA | Méthodes formelles pour l'analyse de propriétés d'indépendance en sûreté de fonctionnement. |
M | Cédric | Vandenelsken | LaBRI/MVTsi | Développements autour des outils AltaRica. |
LaBRI/MVTsi | PSL : Property Specification Language. |
LaBRI/MVTsi | Simulateur AltaRica. |
Mlle | Stéphanie | Gaudan | LaBRI/MVTsi | Abstraction par prédicats de systèmes temps-réel |
M | The Quang | Tran | LaBRI/MVTsi | Dépliages de systèmes de transitions infinis |
M | Joseph | Tylutki | LaBRI/MVTsi | Manipulation de contraintes dans le formalisme AltaRica |
Veuillez reporter toute erreur ou omission à Alain Griffault.
Dernière mise à jour effectuée le 24 novembre 2004.