( en | de | ru )

 

Disambiguation of "Faure, Jean-Marc"

Author of the publication

copydeleteadd this publication to your clipboard
Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers.

, , and . IEEE Trans. Ind. Informatics, 10 (3): 1696-1704 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Albert Faure

Jean-Marc Régis

Jean-Marc Schaller

Jean-Marc Chanton

Jean-Marc Leutenegger

 

Other publications of authors with the same name

Generalized Boolean logic Driven Markov Processes: A powerful modeling framework for Model-Based Safety Analysis of dynamic repairable and reconfigurable systems., , and . Reliab. Eng. Syst. Saf., (2017)Overview of discrete event systems opacity: Models, validation, and quantification., , and . Annu. Rev. Control., (2016)Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers., , and . IEEE Trans. Ind. Informatics, 10 (3): 1696-1704 (2014)A Conformance Relation for Model-Based Testing of PLC., and . WODES, page 412-419. International Federation of Automatic Control, (2014)SIC-testability of sequential logic controllers., , and . WODES, page 193-198. International Federation of Automatic Control, (2010)Discovering Systematic Relations between Alarms for Alarm Flows Reduction., , , and . CoDIT, page 1055-1060. IEEE, (2019)Fault-Tolerant Control of Discrete Event Systems: Comparison of two approaches on the same case study., , and . ETFA, page 1-4. IEEE, (2015)Analysis of Timed Automata with Guards in dioids algebra., , and . WODES, page 391-397. IEEE, (2016)Enforcing I/O sequences for PLC validation purposes., and . ETFA, page 1-6. IEEE, (2013)A Meta-Model to Support the Integration of Dependability Concerns Into Systems Engineering Processes: An Example From Power Production., , and . IEEE Syst. J., 10 (1): 15-24 (2016)