Florian Faissole
AuthID: R-00J-ZYA
1
TÃTULO: Automated formal analysis of temporal properties of Ladder programs
AUTORES: Cláudio Belo Lourenço; Denis Cousineau; Florian Faissole; Claude Marché; David Mentré; Hiroaki Inoue;
PUBLICAÇÃO: 2022, FONTE: Int. J. Softw. Tools Technol. Transf., VOLUME: 24, NÚMERO: 6
AUTORES: Cláudio Belo Lourenço; Denis Cousineau; Florian Faissole; Claude Marché; David Mentré; Hiroaki Inoue;
PUBLICAÇÃO: 2022, FONTE: Int. J. Softw. Tools Technol. Transf., VOLUME: 24, NÚMERO: 6
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Automated Verification of Temporal Properties of Ladder Programs
AUTORES: Cláudio Belo Lourenço; Denis Cousineau; Florian Faissole; Claude Marché; David Mentré; Hiroaki Inoue;
PUBLICAÇÃO: 2021, FONTE: Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings, VOLUME: 12863
AUTORES: Cláudio Belo Lourenço; Denis Cousineau; Florian Faissole; Claude Marché; David Mentré; Hiroaki Inoue;
PUBLICAÇÃO: 2021, FONTE: Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings, VOLUME: 12863
INDEXADO EM: DBLP
DBLP3
TÃTULO: Automated Verification of Temporal Properties of Ladder Programs
AUTORES: Cláudio Belo Lourenço; Denis Cousineau; Florian Faissole; Claude Marché; David Mentré; Hiroaki Inoue;
PUBLICAÇÃO: 2021, FONTE: Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science
AUTORES: Cláudio Belo Lourenço; Denis Cousineau; Florian Faissole; Claude Marché; David Mentré; Hiroaki Inoue;
PUBLICAÇÃO: 2021, FONTE: Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science
INDEXADO EM: 
CrossRef
CrossRef