ProfileOfResearchers

Identified 3

1

TITLE: Automated formal analysis of temporal properties of Ladder programs
AUTHORS: Cláudio Belo Lourenço; Denis Cousineau; Florian Faissole; Claude Marché; David Mentré; Hiroaki Inoue;
PUBLISHED: 2022, SOURCE: Int. J. Softw. Tools Technol. Transf., VOLUME: 24, ISSUE: 6

INDEXED IN:

DBLP

2

TITLE: Automated Verification of Temporal Properties of Ladder Programs
AUTHORS: Cláudio Belo Lourenço; Denis Cousineau; Florian Faissole; Claude Marché; David Mentré; Hiroaki Inoue;
PUBLISHED: 2021, SOURCE: Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings, VOLUME: 12863

INDEXED IN:

DBLP

3

TITLE: Automated Verification of Temporal Properties of Ladder Programs
AUTHORS: Cláudio Belo Lourenço; Denis Cousineau; Florian Faissole; Claude Marché; David Mentré; Hiroaki Inoue;
PUBLISHED: 2021, SOURCE: Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science

INDEXED IN:

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service