Somos UnB
UnB
Última atualização do sistema: 13.11.2024
HOME
INDICADORES
CONTATO
SOBRE
Palavra-chave:
verificação de modelos
utilizada 9 vezes por 5 professores
Utilizada por 5 professores
Por ordem de relevância (total: 5)
Marcus Vinicius Girão de Morais
Cláudia Nalon
Jorge Henrique Cabral Fernandes
Alberto Carlos Guimarães Castro Diniz
Suzana Moreira Avila
Palavras-chave relacionadas
Palavra-chave relacionada é aquela que foi utilizada juntamente com "verificação de modelos"
AMBIENTES DE DESENVOLVIMENTO DE SOFTWARE
Controle de Vibração
Dinâmica de Estrutura
ESPECIFICACOES FORMAIS
LOGICA TEMPORAL
Movimento Forçado
Objetos Distribuídos
Tuned mass damper
damage identification
inferência bayesiana
lógicas epistêmico-temporais
métodos estocásticos
perdas em rolamentos
spin
trem epicicloidal
verificação de modelos
CTIT UFMG