Revue du projet DEPLOY du CETIC

Application de méthodes formelles sur des cas industriels

Jean-Christophe Deprez, Responsable Scientifique au CETIC et Christophe Ponsard, Responsable du Département SSE au CETIC, participent à la revue finale du projet DEPLOY, les 13 et 14 juin à Bruxelles.
Ils y présentent le travail du CETIC au sein de ce projet en ce qui concerne l’application des méthodes formelles sur des cas industriels.

Revue du projet DEPLOY du CETIC

Application de méthodes formelles sur des cas industriels

Jean-Christophe Deprez, Responsable Scientifique au CETIC et Christophe Ponsard, Responsable du Département SSE au CETIC, participent à la revue finale du projet DEPLOY, les 13 et 14 juin à Bruxelles.
Ils y présentent le travail du CETIC au sein de ce projet en ce qui concerne l’application des méthodes formelles sur des cas industriels.