Habilitation à diriger des recherches Irisa - 10 avril 2006
Modélisation mathématique pour la conception, l'analyse quantitative et le contrôle de la qualité de service des systèmes Bruno Tuffin vidéo - audio seul (47'09) transparents