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é d’Eindhoven. Cet événement s’est présenté 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.

Plus de 40 personnes ont participé à l’événement.

Pour découvrir le programme de ces 2 journées, rendez-vous sur le site officiel du FMICS 2009.