Université Bordeaux 1 - Master S&T Informatique - Spécialité Ingénierie des Systèmes Critiques


Les projets ISC 2007-2008

Quelques repères

DébutLundi 21 janvier
Remise des rapportsMardi 25 mars avant 12 heures
SoutenanceJeudi 27 mars, 8 heures, salle 076 du LaBRI
Exposé20 minutes + 10 minutes pour les questions
Nombre d'étudiants par groupeTrois ou Quatre

Les propositions et les attributions

Fares ChucriVisualisation de grands modèles.
Emmanuel FleuryReprésentation de programmes sous forme d'automates.
Alain GriffaultAltaRica et les robots (3).
Hicham Boulkhalil
Yassine El Ouardani
Ghislain Mokolomboka
8 heures
Alain GriffaultAltaRica et les robots (1).
Mohamed Reda Chaoui
Imed El Mokaadi
Luc Sanchez
Ofaina Taofifenua
8 heures 30
Alain GriffaultAltaRica et les robots (2).
Matthieu Devert
Julien Dumeste
Julien Favarel
François Seimandi
9 heures
Kaninda MusumbuExtension de MecV + IHM.
Kaninda MusumbuConstruction automatique de systèmes abstraits au moyen des prédicats.



Veuillez reporter toute erreur ou omission à Alain Griffault.

Dernière mise à jour effectuée le 26 mars 2008.