CERN - ESTEREL

Europe/Zurich
864/1-A19 (CERN)

864/1-A19

CERN

4
Show room on map
Description

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.