Sciences de l'ingénieur

Model-based testing of PLC programs with appropriate conformance relations

Published on - IEEE Transactions on Industrial Informatics

Authors: Anais Guignard, Jean-Marc Faure, Gregory Faraut