"Atelier B Professional Edition 23.02" est disponible dès aujourd'hui sur Windows et Linux pour tous les détenteurs actuels d'un contrat de maintenance. Les...

"Atelier B Professional Edition 23.02" est disponible dès aujourd'hui sur Windows et Linux pour tous les détenteurs actuels d'un contrat de maintenance. Les...
En 2023, la version Professionelle sera mise à jour 2 fois .
En 2024, la version Professionnelle certifiée T2 sera mise à disposition, ainsi que la version Communitaire intégrant un générateur de code RUST.
L’Atelier B 4.7.1 est disponible en version Community Edition (https://www.atelierb.eu/en/atelier-b-support-maintenance/download-atelier-b/) et en...
Systerel a utilisé la méthode formelle B et l'Atelier B pour le développement de sa solution open-source Safe and Secure Open Platform Communications (S2OPC),...
Un tutoriel virtuel en accès libre sur la programmation de la CLEARSY Safety Platform est organisé pendant la conférence internationale ABZ 2021, le 8 juin...
La vidéo du webinaire "Introduction to the CLEARSY Safety Platform", organisé entre mars et mai 2021, est disponible sur Youtube. Il s'agit d'une plateforme à...