Accueil |
Actualités B |
La Méthode B |
Travaux R&D |
Preuve Formelle |
Publications |
Conférences |
B, les différents langages |
Projets Open Source |
Outils B |
Documents |
Liens |
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 |
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