AFADL’06 Salons/conférences
Participation de CLEARSY à AFADL’06 (15, 16, 17 mars 2006). Démonstration d’un nouvel outil d’aide à la spécification de système […]
Vérification de la cohérence de modèles UML – ENST Salons/conférences
Présentation de CLEARSY sur la vérification de Statecharts avec la méthode B.