Publié le 08/02/2010 |

CLEARSY is pleased to announce its participation to the 15th edition of FMICS 2010 (Formal Methods for Industrial Critical Systems) which will be held at Anwerp, Belgium, on 20-21 September 2010. This event is aimed at the use of formal methods in the development of industrial safety critical systems…