The French Seminar ‘Séminaire Francilien de Sûreté de Fonctionnement’ at IRT SystemX

Two topics were presented. The first one from Fabrice Kordon (Université Paris 6) has talk about Model-Checking. The second one from Ana Busic (INRIA) has talk about reliability bounds for Markovian models.
More informations about these talks or next seminar can be found at (in french).