Projet : REFLECS

previous up next contents
Précédent : Participation à comités de programme Remonter : Diffusion de résultats Suivant : Activités extérieures


   
Enseignement universitaire

INSTN, Saclay, DEA SETI, Système Electronique et Traitement de l'Information, cours réseaux locaux temps réel et tolérance aux fautes (P. Minet).


ISTM, Paris la Défense, 2ème année, cours ordonnancement temps réel dans les systèmes distribués (P. Minet).


Université Paris 7, DESS Logiciels Fondamentaux, Génie Système Prouvable (G. Le Lann).