(M2) CCSC - Centrale Paris
Parcours (M2) CCSC : Conception et Commande des Systèmes Critiques ...
vérification et validation, de diagnostic, ?. des SED à la sûreté de
fonctionnement sera plus .... chaînes de Markov discrètes et continues, réseaux
de Petri stochastiques et ..... UML 2 par la pratique: Etudes de cas et exercices
corrigés, Pascal.