Publié le 09/02/2007 |

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.

Programme

Conference pictures

Présentation de notre outil Brama
Présentation de notre outil Brama
Lieu où s’est déroulée la conférence
Lieu où s’est déroulée la conférence
Présentation de nos travaux
Présentation de nos travaux

Papers presented at the B 2007 conference

 Presentation: The B Method for the Construction of Microkernel-based Systems – (ST, CLEARSY, ENST)

 B in Large-Scale Projects : The Canarsie Line CBTC Experience – (SIEMENS)

 The B Method for the Construction of Microkernel-based Systems – (CLEARSY)

BRAMA

The B-Method for the Construction of Micro-kernel-Based Systems