22 juillet 2015
CLEARSY a participé à la conférence Formal Methods 2015 qui s’est tenue du 22 au 26 Juin à Oslo (Norvège).
C’est un rendez-vous incontournable qui a lieu de manière itinérante tous les 18 mois. L’édition 2012 avait permis de nouer des contacts scandinaves qui avaient débouché sur le projet INTO-CPS, projet européen auquel participe CLEARSY depuis le début de cette année.
Un article a été présenté à l’occasion de la session industrielle de la conférence principale.