[ES] En la primera parte del proyecto, abordamos la importancia de la verificación de programas desarrollados para dispositivos lógicos programables, también denominados PLC, que se han convertido en un elemento muy ...