OLIVEIRA, K. V.; http://lattes.cnpq.br/1121152162202880; OLIVEIRA, Kézia de Vasconcelos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2009-08-28)
The goal of this work is to present a method and provide a tool to ensure the safety and
dependability in the automation of processes controlled by Programmable Logic controllers (PLCs). Therefore, automatic generation ...