Joint Industrial Controls Forum & RASWG meeting (#7)¶
2022-03-17
Links¶
Indico¶
Minutes¶
Topics and contributions¶
- Formal verification of PLC programs with PLCverif. Developer and user perspectives (I. Lopez Miguel)
Actions¶
No action for this meeting.