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
Site Web Brama
