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é...
Actualités
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...
Workshop on Recent Innovations and Applications in B (RIAB)
3 Novembre 2009 à Eindhoven Le workshop "Recent Innovations and Applications in B" (RIAB) aura lieu le 3 novembre 2009 durant le Formal Methods Weeket...
RIAB – Workshop on Recent Innovations and Applications in B
Le workshop "Recent Innovations and Applications in B" (RIAB) aura lieu le 3 novembre 2009 durant le Formal Methods Week. En savoir plus sur RIAB.