Workshop to exchange technical approaches in both CERN and ESTEREL-ANSYS:
(1) CERN will focus on the methodology to design industrial process control applications (UNICOS) and the way those applications are verified applying formal methods.
(2) ESTEREL-ANSYS: presentation of their technologies and solutions and focus on the CONNEXION project.