Actualité ClearSy

ClearSy à la Conférence SBMF 2007 au Brésil

Clearsy était présente à la conférence SBMF 2007 et y a présenté son article : « Formal Methods in Safety-Critical Railway Systems« . Elle y a exposé l’utilisation de la méthode B dans son processus de réalisation de systèmes, et montré l’utilisation … Continuer la lecture


ClearSy à la Conférence SAFECOMP 2007

ClearSy participera à la conférence Safecomp 2007 qui se tiendra du 18 au 21 septembre 2007, à Nüremberg en Allemagne. A cette occasion, ClearSy présentera le 18 septembre un atelier dédié au projet de recherche RODIN, et exposera les résultats … Continuer la lecture


Rodin Industry Day

Nous avons le plaisir de vous informer que Clearsy organise la journée Rodin Industry Day 2007. La journée aura lieu à Paris, le 10 septembre 2007. Il s’agira de présenter l’état d’avancement des développement de Rodin et de ses plugins, … Continuer la lecture


Prochaines conférences RODIN

Dans le cadre du projet RODIN, ClearSy participera aux conférences suivantes : un séminaire dédié aux « Méthodes, modèles et outils de la tolérance aux fautes » – qui se tiendra le 3 juillet 2007 à Oxford. la conférence SBMF 2007 dédiée … Continuer la lecture


Journées Neptune’2007

ClearSy participera aux Journées Neptune’2007 qui se tiendront à Paris le 22 et 23 mai 2007 au Conservatoire National des Arts et Métiers. Cette manifestation sera consacrée à « l’Ingénierie Dirigée par les Modèles : Programmes nationaux et pôles de compétitivité ». … Continuer la lecture


Conférence B2007

ClearSy a présenté les travaux de R&D qu’elle mène avec STMicroelectronics à la conférence B2007 ainsi que son outil de modélisation graphique appliqué aux méthodes formelles B : Brama. (Compte-rendu de la conférence…)


Conférence Same 2005

ClearSy a présenté les travaux de R&D qu’elle mène avec STMicroelectronics à la conférence Same 2005 et annonce dès aujourd’hui une présentation sur ce sujet à la conférence B07 qui se tiendra du 17 au 19 janvier 2007. Plus d’informations…


Conférence Lambda Mu 15

Maîtrise des risques et Sûreté de fonctionnement. Conférence Lambda Mu 15 à Lille du 9 au 12 octobre 2006 Rencontrez Clearsy à l’occasion de ce congrès. Découvrir la Conférence Lambda Mu 15.