8-9 Novembre 2010, Natal, Brésil Présentation Ce workshop B/event-B est organisé dans le cadre du projet DEPLOY. Il a pour objectif de présenter l’état...
Actualités
CLEARSY organise un Workshop « B Dissemination Day » à Tokyo
Dans le cadre du projet DEPLOY, CLEARSY organise le workshop "B Dissemination Day". Cet événement se déroulera dans le cadre du symposium "GRACE...
CLEARSY était présente au FMICS 2009
CLEARSY a participé à la 14eme édition du FMICS (Formal Methods for Industrial Critical Systems) qui s'est déroulée du 2 au 3 novembre 2009 à l'Université...
Enseignement des Méthodes Formelles à l’ENSI de Bourges
CLEARSY dispense désormais des cours relatifs aux méthodes formelles à l'ENSI de Bourges : Spécification du logicielConception et programmation sécurisée...
Enseignement des Méthodes Formelles à l’Ecole des Mines de Gardanne en 2010
CLEARSY dispensera des cours relatifs aux méthodes formelles à l'Ecole des Mines de Gardanne, durant le mois de janvier 2010. Ces cours, totaliseront 18...
Smart Event 2009 – Présentation du projet Forcoment, développé avec l’Atelier B
Smart Event 2009 - Présentation du projet Forcoment, développé avec l'Atelier B Marc Benveniste (STMicroelectronics) a présenté à l'occasion de l'évènement...