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

B4Free

Outil académique permettant l'utilisation opérationnelle de la méthode B pour des développements logiciels prouvés.

Url : http://b4free.com

Composys

Outil de conception formelle d'architecture système

Url : http://www.composys.fr

DiagElec

Outil d'aide à la réparation de pannes de véhicules automobiles

Url : http://www.diagelec.com 

Brama

Outil d'animation de modèle en cours de développement

Url: http://www.brama.fr

Coppilot

Site consacré au système de pilotage des portes palières des stations Invalides et St Lazare

Url: http://www.coppilot.fr - Url: Page ClearSy