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

2021-12-09

Links

Indico

Minutes

Topics and contributions

• A digital electronics design use case and general conclusions (H. Boukabache, K. Ceesay-Seitz)

• Introduction to formal methods and an Industrial Controls use case (B. Fernandez Adiego)

Actions

No action for this meeting.