Formal verification of industrial control systems

Credits and licence

From

Formal verification of industrial control systems, CERN (at CERN)

Licence

CERN, as CERN states it.

Attribution

© CERN. CERN provides its audiovisual media free of charge for educational and informational use, credited to CERN; this lecture is shown in CERN's own player.

Who can watch

Teens profiles and older. How courses are placed