![conf_b07](https://www.atelierb.eu/wp-content/uploads/2012/08/conf_b07.jpg)
Publié le 09/02/2007 |
CLEARSY a participé à la conférence B2007, qui se tenait à Besançon du 17 au 19 janvier. Dans le cadre de nos travaux de Recherche & de Développement que nous menons avec STMicroelectronics, nous avons fait la présentation de notre projet.
Nous avons également présenté notre outil d’animation graphique de modèle formel : Brama.
![](https://www.atelierb.eu/wp-content/uploads/2012/08/LNCS_B2007-medium.jpg)
![](https://www.atelierb.eu/wp-content/uploads/2012/08/b07_prog0m.jpg)
Photos de la conférence
![Présentation de notre outil Brama](https://www.atelierb.eu/wp-content/uploads/2012/08/b07l_041.jpg)
![Lieu où s’est déroulée la conférence](https://www.atelierb.eu/wp-content/uploads/2012/08/b07l_021.jpg)
![Présentation de nos travaux](https://www.atelierb.eu/wp-content/uploads/2012/08/b07l_031.jpg)
Articles présentés à la conférence B2007
Présentation: 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, outil d’animation graphique de modèle formel
The B-Method for the Construction of Micro-kernel-Based Systems
Brama