Joint Electronics Forum, Industrial Controls Forum & RASWG meeting (#4)

Thursday 9 December 2021 - 09:00


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