Login
Joint Industrial Controls Forum & RASWG meeting (#7)

Thursday 17 March 2022 - 09:00


        : Sessions
    /     : Talks
        : Breaks
17 Mar 2022
AM
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))  
09:40 --- Q&A ---
PM
Powered by Indico v3.3.7-pre