Accueil l ActualitéPrésentation l Manuels l Télécharger l Références Industrielles l Liens l Contact   -


Liens

Atelier B

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

B4Free

Outil logiciel pour l'enseignement de la méthode B en milieu académique, et dédié au développement de logiciels prouvés

Url : http://www.b4free.com


Brama

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

 

 

ClearSy System Engineering - Parc de la Duranne - 320 av. Archimède - Les Pléïades III Bat A
13857 AIX EN PROVENCE CEDEX 3
Tel : 04 42 37 12 70 - Fax : 04 42 37 12 71 -
contact@clearsy.com