(M2) CCSC - Centrale Paris
majorité, ces systèmes critiques sont des systèmes automatisés complexes (
production d'énergie, ... vérification et validation, de diagnostic, ?. des SED à la
sûreté de fonctionnement sera plus ..... Il est suivi d'un TD de modélisation d'un
système critique .... UML 2 par la pratique: Etudes de cas et exercices corrigés,
Pascal.