Accueil l Actualités B l La Méthode B l
Travaux R&D l Preuve
Formelle l Publications l Conférences
B, les différents langages l Projets Open Source l Outils B l Documents l B Tools Forum l Liens l Contact 
Conférence B 2007 à Besançon du 17 au 19 janvier 2007
Conférence B2007
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 :
|
|
|
|
|
|
Programme |
Programme du 16 au 17 janvier 2007 |
Programme du 18 janvier 2007 |
Programme du 19 janvier |
Pour plus d'informations : B2007 Conference Theme
Photos de la conférence
|
|
|
|
Lieu où s'est déroulée la conférence |
Présentation de nos travaux |
|
|
|
|
Présentation de notre outil Brama |
|
Articles présentés à la conférence B2007
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 (version française)
The B-Method for the Construction of Micro-kernel-Based Systems