La conférence ABZ confronte les meilleurs experts dans le domaine des méthodes formelles avec preuves provenant des milieux universitaires et […]

CLEARSY a participé au séminaire ISCLP organisé par la DGA dans le cadre de sa mission « préparer le futur […]

CLEARSY attended the ISCLP seminar organized by the DGA as part of its mission « to prepare the future of defense […]

Dans son numéro du 10 octobre 2013, L’Usine Nouvelle met en avant la stratégie de partage des innovations de la […]

À l’occasion de la journée d’action IDM « Les challenges de la qualification d’outils pour l’IDM », organisée conjointement par le LORIA, […]

Dans le cadre du séminaire « Méthodologies et Technologies innovantes pour les systèmes embarqués » organisé par la DGA à Toulouse, les […]

CLEARSY contribue à un séminaire technique organisé par l’Université de Newcastle le 24 octobre 2013. Les méthodes formelles sont utilisées […]

CLEARSY a participé à la conférence CAI 2013 (International Conference on Algebraic Informatics) organisée à Porquerolles (France) du 03 au […]