Christophe Métayer

Publication Activity (10 Years)

Years Active: 2004-2018
Publications (10 Years): 1

Top Topics

Computational Cost

Classification Accuracy

Segmentation Method

Top Venues

Publications

Frédéric Badeau, Vincent Lacroix, Vincent Monfort, Laurent Voisin, Christophe Métayer
Modelling Dynamic Data Structures with the B Method. ABZ (2018)
Christophe Métayer, Mathieu Clabaut
DIR 41 Case Study. ABZ (2008)
Frédéric Badeau, Didier Bert, Sylvain Boulmé, Christophe Métayer, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin
Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM. Tech. Sci. Informatiques 23 (7) (2004)