Somos UnB
UnB
Última atualização do sistema: 13.11.2024
HOME
INDICADORES
CONTATO
SOBRE
Palavra-chave:
Métodos Formais
utilizada 52 vezes por 2 professores
Utilizada por 2 professores
Por ordem de relevância (total: 2)
Mauricio Ayala Rincon
Cláudia Nalon
Palavras-chave relacionadas
Palavra-chave relacionada é aquela que foi utilizada juntamente com "Métodos Formais"
Deducao Automatica
Especificacao Algebrica
Isomorfismo de Curry-Howard
Lambda Calculus
Lógica da Computação
Lógica e semântica da computação
Modelos e linguagens computacionais
Métodos Formais
PVS
Projeto de hardware
Prova de Teoremas
Reescrita-Lógica
Simulação e Verificação de Hardware
Sistemas Reconfiguráveis
Sistemas de Reescrita de Termos
Teoria de Prova
Teoria de Reescrita
Teoria de Reescrita de Termos
Teorias de ordem superior
Unificação de Primeira Ordem
criptografia
especificação formal
sistemas de comando e controle
sistemas de reescrita
CTIT UFMG