actualités

Actualités, Versions

Le nouvel Atelier B 4.7 est disponible.

19 janvier 2022

Actualités, Outils associés, Versions

Atelier B pour développer une implémentation OPC UA open source

24 août 2021

Divers

Atelier B 4.6 pour EAL6+

30 juillet 2021

Divers

IA pour la preuve interactive

Actualités, Conférences

Tutoriel « Utiliser B pour programmer la CLEARSY Safety Plateform »

18 mai 2021

Actualités

Publication de la vidéo du wébinaire « Introduction à la CLEARSY Safety Platform »

Actualités

Version 4.6.3 de l’Atelier B

17 février 2021

Actualités

Rodin : nouvelle versions 2.3.0 du plug-in des prouveur de l’Atelier B

16 février 2021