Início
Painéis de Indicadores
Ferramentas
Carrot2
Visão
Equipe
Sobre
Contato
Inglês
Inglês
Português
Publicações no BrCris
Estatísticas da Produção
Rede de coautoria
Áreas da Produção
Tag Cloud da Produção
Nelson França Guimarães Ferreira
Áreas De Investigação
Automação Eletrônica de Processos Elétricos e Industriais
Ciência da Computação
Equipamentos Auxiliares e Controles
Publicações
Identidade
Ver todos
Publicações
publicações selecionadas
Verificação formal de sistemas modelados em estados finitos.
Identidade
identificador Lattes
http://lattes.cnpq.br/2184250585412100