Name: Joint Industrial Controls Forum & RASWG meeting (#7)
Start: 2022-03-17T09:00:00+01:00
End: 2022-03-17T10:00:00+01:00
Location: No location set

Joint Industrial Controls Forum & RASWG meeting (#7)

Thursday 17 March 2022 - 09:00

Monday 14 March 2022
Tuesday 15 March 2022
Wednesday 16 March 2022
Thursday 17 March 2022
09:00 Formal verification of PLC programs with PLCverif. Developer and user perspectives - Ignacio David Lopez Miguel (Centro de Investigaciones Energéticas Medioambientales y Tec. (ES))
Formal verification of PLC programs with PLCverif. Developer and user perspectives
- Ignacio David Lopez Miguel (Centro de Investigaciones Energéticas Medioambientales y Tec. (ES))
09:00 - 09:40
09:40 Q&A
Q&A
09:40 - 10:00