L'Atelier B 4.2.1 Free est disponible au téléchargement. Il corrige les erreurs liées à l'introduction de l'outil bxml et à l'absence du positionnement par...
Actualités
Erreurs bxml avec Atelier B 4.2 Free
L'utilisation du nouvel outil bxml, avec la version 4.2 Free de l'Atelier B, est empêchée par l'absence de la déclaration de ressources dans le fichier...
Sortie de l’Atelier B version 4.2.0
CLEARSY met à disposition une nouvelle version publique de l'Atelier B. Il s'agit d'un atelier de génie logiciel, c'est à dire un logiciel permettant de...
L’ATELIER B 4.2 FÊTE SES 20 ANS
L'Atelier B 4.2 Community Edition est disponible au téléchargement depuis le 19 Décembre 2014. Cette version, complètement fonctionnelle et utilisable par...
Congrès de Sûreté de Fonctionnement et de Maîtrise des Risques
Toute l'équipe de CLEARSY vous a rencontré lors du Congrès de Sûreté de Fonctionnement et de Maîtrise des Risques, Lambda Mu 19. Nous remercions vous...
CLEARSY participe au Forum Méthodes Formelles « Le model-checking en action »
CLEARSY participe au Forum Méthodes Formelles "Le model-checking en action" organisé par le LAAS-CNRS le jeudi 16 octobre 2014. A cette occasion, sont...