UFMG
Somos UFMG
Última atualização do sistema: 04.08.2022
HOME
INDICADORES
CONTATO
SOBRE
Palavra-chave:
Verificação formal
utilizada 19 vezes por 4 professores
Utilizada por 4 professores
Por ordem de relevância (total: 4)
Sergio Vale Aguiar Campos
Diógenes Cecilio da Silva Junior
Wagner Meira Junior
Mário Sérgio Ferreira Alvim Júnior
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
Model Checking
Sistemas Reativos
Sistemas de Tempo Real
Symbolic Model Checking
Systemas de Tempo Real
Verificação formal
análise de sistemas
CTIT UFMG