Contact

Conférence B 2007 à Besançon du 17 au 19 janvier 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

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

Vous aimerez aussi :

Copy link
Powered by Social Snap