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


Les projets ISC 2006-2007

Quelques repères

DébutMercredi 24 janvier
Remise des rapportsLundi 26 mars à 17 heures
SoutenanceJeudi 29 mars, 10 heures, salle 076 du LaBRI
Exposé20 minutes + 10 minutes pour les questions
Nombre d'étudiants par groupeQuatre

Les propositions et les attributions

Pierre CastéranConception Formelle en PVS.
AtouiRoland
DumasXavier
JardelSebastien
VendrediLaurent
10 heures
Alain GriffaultAltaRica et les robots (1).
AmriKamal
BataillerCyril
Berrada GouziAnass
BoudaliFouad
10 heures 30
Alain GriffaultAltaRica et les robots (2).
BelkisNajima
BelmehdiAbdelhamid
LahlaliZahra
OrtegaOlivier
11 heures
Kaninda MusumbuConstruction automatique de systèmes abstraits au moyen des prédicats.
Aymeric VincentTreillis et points fixes.
BordGregory
HickelBruno
VidaliesMathieu
11 heures 30
Marc ZeitounVérification LTL pour AltaRica.



Veuillez reporter toute erreur ou omission à Alain Griffault.

Dernière mise à jour effectuée le 20 mars 2007.