12 août 2015
CLEARSY a participé à la prestigieuse conférence internationale relative aux méthodes formelles, FM 2015, qui a eu lieu à Oslo (Norvège) du 24 au 26 Juin 2015.
À cette occasion, CLEARSY a présenté ses travaux concernant la modélisation formelle virtuelle et la validation formelle de données pour des systèmes de supervision, au cours de la session industrielle du 25 juin.