CLEARSY Announces Participation in FMICS 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…