Home |
B News |
B Method |
R&D Activities |
Formal Proof |
Publications |
Conferences |
B, the different languages |
Open Source Projects |
B Tools |
Documents |
Links |
Contact
B 2007 Conference
ClearSy participated in the B2007 Conference in Besancon, held from January 17 to 19. In the context of our Research and Development that we are conducting with STMicroelectronics, we presented our project.
We also presented our formal model graphic animation tool: Brama:
Program :
|
|
|
|
|
|
Program 2007 |
Program - January 16 to 17, 2007 |
Program – January 18, 2007 |
Program – January 19, 2007 |
Conference photos
|
|
Conference location |
Presentation of our projects |
|
|
Presentation of our Brama tool |
|
Articles presented at the B2007 Conference
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)
The B-Method for the Construction of Micro-kernel-Based Systems