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

- 09:00 → 09:40
  
  Formal verification of PLC programs with PLCverif. Developer and user perspectives 40m
  
  Speaker: Ignacio David Lopez Miguel (Centro de Investigaciones Energéticas Medioambientales y Tec. (ES))
  
  Presentation_PLCverif_RASWG.pptx
- 09:40 → 10:00
  
  Q&A 20m