Colloque International « Open Source Software Certification » – 10 septembre 2008, Milan

FLOSS-FM ET OpenCert 2008 organisent cette année le 2nd colloque international dédié à l’Open Source et aux Méthodes Formelles. Cet événement a pour objectif de rassembler les acteurs industriels et académiques autour de la problématique de la certification de logiciels développés en Open Source à partir de Méthodes Formelles.

Pour en savoir plus, consultez le site de l’événement : FLOSS-FM.