1–2 Feb 2016
CERN
Europe/Zurich timezone

Formal verification of industrial control systems

2 Feb 2016, 14:30
20m
774/R-013 (CERN)

774/R-013

CERN

104
Show room on map

Speaker

Daniel Darvas (Budapest University of Technology and Economics (HU))

Presentation materials