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.

Programme

Photos de la conférence

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

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