Focus on:  Hide Contributions
Login
Joint Electronics Forum, Industrial Controls Forum & RASWG meeting (#4)

Thursday, December 9, 2021 - 9:00 AM


        : Sessions
    /     : Talks
        : Breaks
Dec 9, 2021
AM
9:00 AM
Formal Methods and Verification (FMV) (until 10:00 AM) ()
9:00 AM Introduction to formal methods and an Industrial Controls use case - Borja Fernandez Adiego (CERN)   ()
9:30 AM A digital electronics design use case and general conclusions - Katharina Ceesay-Seitz (CERN) Hamza Boukabache (CERN)   ()
PM
Powered by Indico v3.2.8-pre