Frédéric Badeau

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 2

Top Topics

Classification Accuracy

Wavelet Transform

Top Venues

Publications

Frédéric Badeau, Julien Chappelin, Joris Lamare
Generating and Verifying Configuration Data with OVADO. RSSRail (2022)
Frédéric Badeau, Vincent Lacroix, Vincent Monfort, Laurent Voisin, Christophe Métayer
Modelling Dynamic Data Structures with the B Method. ABZ (2018)
Frédéric Badeau, Marielle Petit-Doche
Formal Data Validation with Event-B CoRR (2012)
Frédéric Badeau, Arnaud Amelot
Using B as a High Level Programming Language in an Industrial Project: Roissy VAL. ZB (2005)
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)