Thèse : soutenance de Cyrille Jégourel

«Rare event simulation for statistical model checking » - thèse de doctorat de l'Université de Rennes 1 en informatique.