Publié le 08/02/2010 |
CLEARSY a le plaisir d’annoncer sa participation à la 15ème édition du FMICS 2010 (Formal Methods for Industrial Critical Systems) qui se déroulera du 20 au 21 septembre 2010 à Antwerp en Belgique. Cet événement est entièrement consacré à l’utilisation des méthodes formelles dans le cadre de développement de systèmes sécuritaires industriels…