Claude Marché
2
Documents
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Automated Formal Analysis of Temporal Properties of Ladder ProgramsInternational Journal on Software Tools for Technology Transfer, 2022, 24 (6), pp.977-997. ⟨10.1007/s10009-022-00680-0⟩
Article dans une revue
hal-03737869v1
|