Précédent : Conférences et Colloques Remonter :
Diffusion des résultats Suivant :
Références
- - Séminaire Thomson-CSF/TM, Jouy-en-Josas, 15-17 avril
1996, ``Temps réel, traitement distribué et tolérance aux
fautes'' (G. Le Lann)
- - Séminaire Digital Corp., Shrewsbury, MA (USA), 9 juillet
1996, ``A Proof-based System Engineering Methodology for
Designing and Dimensioning Critical Complex Computing Systems''
(G. Le Lann)
- - Séminaire Thomson-CSF/TM, Jouy-en-Josas, 16-18 septembre
1996, ``Systèmes TRDF : état-de-l'art et méthode de génie
système''' (G. Le Lann)
- - Séminaire Collège de Polytechnique, Groupe Lagardère,
Bougival, 11 octobre 1996, ``Les bases du génie système
prouvable en Informatique'' (G. Le Lann)
- - Séminaires CNUCE-CNR, Pise (Italie), 22-23 octobre 1996,
``Proof-based System Engineering for Computing Systems'', ``An
Analysis of the Ariane 5 Flight 501 Failure - Comments on the
Inquiry Board Report'' (G. Le Lann)
- - Séminaires à l'école ``Embedded Systems'', (European
Educational Forum), Veldhoven (Pays-Bas), 25-29 novembre 1996,
``Proof-based System Engineering as a Key Discipline for
Building Provably Correct Embedded Systems'', ``The Ariane 5
Flight 501 Failure as a Case Study'' (G. Le Lann)
- - Séminaire IRISA, Rennes, 6 décembre 1996, ``Une
discipline en émergence : le Génie Système. Fondations
scientifiques et mise en oeuvre sur des applications temps réel
distribuées et tolérantes aux fautes'' (G. Le Lann)