Publié le 11/06/2008 |

CLEARSY has the pleasure of announcing its participation to the FMICS 2009, that will take place at the University of Eindhoven from the November 2 to 3rd 2009. This event will take place as a working group on formal methods used in the development of critical industrial systems.