21 July 2020
CLEARSY participated in the prestigious International Conference on Formal Methods, FM 2015, which was held in Oslo (Norway) from June 24th to June 26th, 2015.
On this occasion, CLEARSY presented its work on the virtual formal modeling and formal data validation for supervision systems during the industrial session of June 25th.