Nous sommes ravis d'annoncer la sortie de notre dernière version deAtelier B. Voici ce qui est nouveau et amélioré dans cette version : Fonctionnalités...
Versions
Atelier B Professional Edition 23.02
"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...
Le nouvel Atelier B 4.7 est disponible.
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...
Atelier B pour développer une implémentation OPC UA open source
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),...
La nouvelle version 4.4.2 de l’AtelierB est disponible
Cette version contient de nombreux correctifs et plusieurs améliorations. La fonctionnalité le plus marquante est une fonction de visualisation et de gestion...
L’Atelier B 4.0.2 est disponible pour les détenteurs d’un contrat de maintenance
L’Atelier B 4.0.2 a été mis à disposition le 07 Janvier 2011 et peut être téléchargé par les possesseurs d’un contrat de maintenance Atelier B 4 sur cette...