B METHOD TRAINING
Presentation of different B Training
B training sessions are probably the best and most efficient way to discover B. A formal method can’t be learned only by testing the software tool which implements it ! This is the very reason why new Atelier B package now includes those training sessions. Purchasing only level 1 session is also a good way to discover B and to experiment its tools.
ClearSy proposes three training session levels related to the use of B and Atelier B:
B Method Training Level 1
B Method Training Level 2
B Method Training Level 3
Our Method B trainings can be completed with the following training, according to your needs :
> The objective of this training is to enable use of Event-B in the modelling and validation of systems.
THEY HAD AN ATELIER B TRAINING
> IN YEAR 2014 :
Level 3 – From 05/25/2014 to 05/27/2014 : IFSTTAR
Level 1 – From 05/13/2014 to 05/16/2014 : Alstom, IT Link, Mitsubishi
Level 3 – Du 01/29/2014 to 04/31/2014 : RATP, Siemens, Telecom Paris, Université Paris Diderot