Advanced Control Engineering: Academia - Industry

Name: Advanced Control Engineering: Academia - Industry
Start: 2014-06-02T14:15:00+02:00
End: 2014-06-03T11:55:00+02:00
Location: CERN

2–3 Jun 2014

CERN

Europe/Zurich timezone

CERN - IFAC (CEA)

Overview
Timetable
Contribution List
Registration
Videoconference

Session

Formal methods applied to PLC code verification

2 Jun 2014, 16:40

31/3-004 - IT Amphitheatre (CERN)

31/3-004 - IT Amphitheatre

CERN

105

Show room on map

Formal methods applied to PLC code verification

Borja Fernandez Adiego (Universidad de Oviedo (ES))

slides

CEA_CERN_2014_presentation.pdf

CEA_CERN_2014_presentation.pptx

Building timetable...

Advanced Control Engineering: Academia - Industry

Session

Formal methods applied to PLC code verification

31/3-004 - IT Amphitheatre

CERN

Conveners

Formal methods applied to PLC code verification

Presentation materials

Choose timezone

Advanced Control Engineering: Academia - Industry

Conveners

Formal methods applied to PLC code verification

Presentation materials