29 novembre 2017
Brazilian Symposium on Formal Methods
La conférence SBMF organisée du 29 Novembre au 1er Décembre 2017 à Recife (Brésil). La CLEARSY Safety Platform a été présentée lors de l’exposé scientifique « Applying a Formal Method in Industry : a 25-year Trajectory ». Cette présentation a permis de montrer la démarche formelle de l’entreprise qui s’inscrit dans la durée, son applicabilité au monde de l’industrie. Elle a suscité un intérêt fort pour la CLEARSY Safety Platform en tant qu’outil de formation aux pratiques avancées de l’ingénierie.