Increasing the efficiency of PLC Program Verification using a plant model

Publié le 26 mai 2003 - 6th International Conférence on Industrial Enginneering and Production Management (IEPM'03)

Auteurs : José Machado, Bruno Denis, Jean-Jacques Lesage, Jean-Marc Faure, Jaime Ferreira da Silva