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...
Versions
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...
L’Atelier B 4.0.1 est disponible pour les détenteurs d’un contrat de maintenance
Nous avons le plaisir de vous informer de la mise à disposition de l'Atelier B 4.0.1. Cette version est exclusivement réservée aux détenteurs de la...
L’Atelier B 4.0 est disponible !
Nous avons le plaisir de vous annoncer la sortie de l'Atelier B 4.0. Celle-ci s'accompagne d'un tout nouveau mode de distribution pour lequel : le...