Curriculum Vitæ - LMPA - Université du Littoral Côte d'Opale
3 Formalisation et vérification de modèles UML/OCL : Etat de l'art ... 2.5 Diagramme de classes - Contrôle d'un passage à niveau .
3 Formalisation et vérification de modèles UML/OCL : Etat de l'art ... 2.5 Diagramme de classes - Contrôle d'un passage à niveau .