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

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