Publié le 27/11/2009 |

CLEARSY participated to the 14th edition of the FMICS 2009, that held take place at the University of Eindhoven from the November 2 to 3rd 2009. This event was a working group on formal methods used in the development of critical industrial systems.

Over 40 people attended the event.

To see the program for these 2 days, please visit the official web site..