Précédent : Jury de thèse Remonter : Diffusion des
résultats Suivant : Activités extérieures
- - Salon Real-Time Systems, Paris, janvier, ``Les nouveaux
systèmes embarqués : problèmes et solutions'', tutoriel (G. Le
Lann)
- - Colloque ``Application des Méthodes Formelles au
Développement des Systèmes Critiques'', IMAG, Grenoble, janvier
1996, ``Méthodes formelles et génie système : la méthodologie
TRDF'' (G. Le Lann, E. Ledinot, Dassault Aviation)
- - IEEE Intl. Symposium on ECBS, Friedrichshafen (D), mars
(G. Le Lann)
- - INCOSE'96, 6th Intl. Conference on Systems Engineering,
Boston (USA), juillet (G. Le Lann)