


Atelier B used to develop open source OPC UA implementation

Atelier B 4.6 for EAL6+

AI for interactive proof

Tutorial “Using B to program the CLEARSY Safety Platform”

Video published of the webinar “introduction to the CLEARSY Safety Platform”

Version 4.6.3 of Atelier B
