UFMG
Somos UFMG
Última atualização do sistema: 05.02.2023
HOME
INDICADORES
CONTATO
SOBRE
Palavra-chave:
Métodos Formais
utilizada 22 vezes por 3 professores
Utilizada por 3 professores
Por ordem de relevância (total: 3)
Adriano Cesar Machado Pereira
Mário Sérgio Ferreira Alvim Júnior
Sidelmo Magalhães Silva
Palavras-chave relacionadas
Palavra-chave relacionada é aquela que foi utilizada juntamente com "Métodos Formais"
Aplicações Web
Comércio Eletrônico
Design Patterns
E-commerce
Engenharia de Software
Métodos Formais
Métodos quantitativos
Segurança e Privacidade
UML
Verificação de Modelos
CTIT UFMG