Login

Joint Industrial Controls Forum & RASWG meeting (#7)

→ Europe/Zurich
220317_RASWG_minutes.pdf
    • 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
Powered by Indico v3.3.6-pre