ClearSy participated in the B2007
Conference in Besancon, held from January 17 to 19. In the context of our
Research and Development that we are conducting with STMicroelectronics, we
presented our project.
We also presented our formal
model graphic animation tool: Brama:
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
ClearSy participated in the B2007
Conference in Besancon, held from January 17 to 19. In the context of our
Research and Development that we are conducting with STMicroelectronics, we
presented our project. 
The B Method for the Construction of Microkernel-based Systems - (ST, ClearSy, ENST)
The B-Method for the Construction of Micro-kernel-Based Systems