Name: Joint Electronics Forum, Industrial Controls Forum & RASWG meeting (#4)
Start: 2021-12-09T09:00:00+01:00
End: 2021-12-09T10:00:00+01:00
Location: No location set

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

Thursday 9 December 2021 - 09:00

: Sessions

: Talks

: Breaks

9 Dec 2021

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) () FMV.pdf FMV.pptx
09:30	A digital electronics design use case and general conclusions - Katharina Ceesay-Seitz (CERN) Hamza Boukabache (CERN) () 20211209_1629_IntroFormal_DigitalDesigns_HB_KCS_v6.pdf

Choose timezone