Nos Produits et Formations

Atelier B

Outil industriel permettant l’utilisation opérationnelle de la méthode B pour des développements logiciels prouvés. Une formation est disponible pour comprendre, et pratiquer B.

Url : http://www.atelierb.eu

Fersil

L’offre de Clearsy dans le domaine du ferroviaire

Url : http://www.fersil.fr

Formations B

ClearSy propose plusieurs formations pour comprendre et pratiquer B.

Url : http://www.atelierb.eu/php/formation-fr.php