Publié le 11/06/2008 |
CLEARSY a le plaisir de vous annoncer sa participation à la 14eme édition du FMICS (Formal Methods for Industrial Critical Systems) qui se tiendra du 2 au 3 novembre 2009 à l’Université d’Eindhoven. Cet événement se déroulera sous la forme d’un groupe de travail portant sur les méthodes formelles utilisées dans le cadre du développement de systèmes critiques industriels.