|
le
12.06.2006
|
Conférences internationales
| Document |
Format & taille |
| "Generation of distributed programs in their target
execution environment", article publié à
la conférence RSP'2004,
par F. Gilliers, F. Kordon & J-P. Velu |
|
| "Model checking of high-level object oriented specifications:
the LfP experience", article publié au workshop
MOCA'2004,
par F. Gilliers, F. Bréant, D. Poitrenaud & F. Kordon |
|
Revue Nationale
| Document |
Format & taille |
| "Processus de fabrication de systèmes répartis
centré sur un modèle: l’expérience du
projet MORSE" par F. Gilliers, F. Kordon & Y.
Thierry-Mieg, article publié dans la revue REE en mars 2006 |
|
Ouvrages
|
