Réalisations dans le cadre de projets industriels

Il s'agit des projets ATR (CNRS-DRET-INRIA avec Axlog, Dassault-Aviation et Thomson-CSF) et AGS (INRIA-IRISA-CNES)

32

AXLOG, Dassault Aviation, INRIA, LIAFA, LIX, LMC-IMAG, and Thomson-CSF.
Exemple de problèmes applicatifs de type consensus ou de type diffusion atomique temps-réel, spécification du problème étudié, rapport tranche ferme contrat ATR.
Technical report, DRET/MENESR/CNRS, 1997.

33

AXLOG, D. Aviation, INRIA, LIAFA, LIX, LMC-IMAG, and Thomson-CSF.
Rapport final.
Technical report, DRET/MENESR/CNRS, 1999.
Rapport tranche conditionnel contrat ATR.

34

B. Charron-Bost, C. Delporte, H. Fauconnier, G. Le Lann, and P. Minet.
Rapport intermediaire 1.1.
Technical report, DRET/MENESR/CNRS, 1997.
Rapport tranche ferme contrat ATR.

35

B. Charron-Bost, C. Delporte, H. Fauconnier, G. Le Lann, and P. Minet.
Rapport intermediaire 1.2a.
Technical report, DRET/MENESR/CNRS, 1997.
Rapport tranche ferme contrat ATR.

36

B. Charron-Bost, C. Delporte, H. Fauconnier, G. Le Lann, and P. Minet.
Rapport final.
Technical report, DRET/MENESR/CNRS, 1999.
Rapport tranche ferme contrat ATR.

37

E. Anceaume, C. Delporte-Gallet, H Fauconnier, M. Hurfin, and G. Le Lann.
Architectures génériques pour le spatial, 2002.
Commande CNES, Rapport de phase 1.

38

E. Anceaume, C. Delporte-Gallet, H. Fauconnier, M. Hurfin, and G. Le Lann.
Architectures génériques pour le spacial, 2004.
Commande CNES, Rapport final.