UFPE ›
SIGAA - Sistema Integrado de Gestão de Atividades Acadêmicas
Recife,
26 de Outubro de
2026
pedro manuel gonzalez del foyo
DEMEC - DEPARTAMENTO DE ENGENHARIA MECANICA - CTG
Projetos de Pesquisa
| Projeto de Pesquisa | Área de Conhecimento | |||
|---|---|---|---|---|
| 2026 | ||||
| PIK4575-2026 | Uso de Abordagens de Verificação Formal na Síntese de Controladores para Sistemas de Eventos Discretos com especificações Lógicas e Temporais | Engenharias | ||
SIGAA | Superintendência de Tecnologia da Informação (STI-UFPE) - (81) 2126-7777 | Copyright © 2006-2026 - UFRN - sigaa02.ufpe.br.sigaa02 v4.15.0.219