UFMG
Somos UFMG
Última atualização do sistema: 28.10.2024
HOME
INDICADORES
CONTATO
SOBRE
Palavra-chave:
Verificação Formal
utilizada 18 vezes por 3 professores
Utilizada por 3 professores
Por ordem de relevância (total: 3)
Sergio Vale Aguiar Campos
Diógenes Cecilio da Silva Junior
Wagner Meira Junior
Palavras-chave relacionadas
Palavra-chave relacionada é aquela que foi utilizada juntamente com "Verificação Formal"
Algoritmos Simbolicos
Bioinformática
Comércio Eletrônico
Concorrência
Eletrofisiologia
Sistemas Reativos
Sistemas de tempo real
Symbolic Model Checking
Systemas de Tempo Real
Verificação Formal
análise de sistemas
model checking
CTIT UFMG