área de pesquisa Modelagem de programas e sua verificação para controladores programáveis. Prof. Dr. Diolino José dos Santos Filho Sistematização do Projeto do Controle de Sistemas Produtivos
