L’Atelier B a fêté ses 20 ans

A l’occasion de la conférence ABZ 2016 (http://www.cdcc.faw.jku.at/ABZ2016/) qui a eu lieu de 23 au 27 Mai 2016 à Linz (Autriche), CLEARSY a été invitée à récapituler les 20 dernières de développement et d’utilisation de l’Atelier B dans l’industrie et à présenter les différentes innovations à venir concernant la modélisation fonctionnelle (Editeur de Modèle Abstrait), la preuve quasi-automatique et les automatismes sécuritaires prouvés à bas coût (LCHIP).
Les slides sont accessibles ici: http://www.cdcc.faw.jku.at/ABZ2016/media/presentations/Atelier%20B%20has%20turned%20twenty.public.pdf