Nous avons le plaisir d'annoncer une occasion unique d'explorer les subtilités du développement de systèmes critiques en matière de sécurité à l'aide de la...

Nous avons le plaisir d'annoncer une occasion unique d'explorer les subtilités du développement de systèmes critiques en matière de sécurité à l'aide de la...
"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...