Atelier
B :
Industrial tool enabling the operational use of Method
B for proven software development.
Brama :
Animation tool for models undergoing development.
ComenC :
The ComenC translator allows for B0 implementations to be translated
into C language.
CompoSys :
Tool for formal design of systems
architecture.
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
Brama : 
ComenC :