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.
Papers presented at the B 2007 conference
The B Method for the Construction of Microkernel-based Systems – (CLEARSY)