 |
||||
 |
|
 |
||
 |
||||
|
||||
 |
||||
|
||||
 |
||||
|
||||
 |
||||
|
||||
 |
||||
|
||||
 |
||||
|
||||
 |
||||
|
||||
 |
||||
|
||||
 |
||||
 |
||
 |
 |
|
 |
||
Sous-projet 1: Méthodologie (Aonix)
Clicker ici pour entrer dans le sous-projet 1.
Sous-projet 2: Langage pivot (LIP6)
Clicker ici pour entrer dans le sous-projet 2.
Sous-projet 3: vérification formelle (Labri)
Clicker ici pour entrer dans le sous-projet 3.
Sous-projet 4: Synthèse de programmes (Aonix)
Clicker ici pour entrer dans le sous-projet 4.
Sous-projet 5: Application témoin (Sagem)
Clicker ici pour entrer dans le sous-projet 5.