1
Assuntos:
“...Verificação de modelo...”
Análise de um processo de projeto industrial de mineração com foco na validação para compatibilização dos modelos BIM (Building Information Modeling)
Dissertação
2
Assuntos:
“...Verificação de Modelo Limitado...”
Técnicas de contração de domínio de variáveis em verificação formal e detecção de vulnerabilidades de software usando programação por restrições e aritmética intervala...
Dissertação
3
Assuntos:
“...Verificação de modelos...”
Uma abordagem para verificação de missões multi-robôs em alto nível no UPPAAL
Dissertação
4
Assuntos:
“...Verificação de modelos...”
Solução exata de problemas de escalonamento determinísticos por meio de verificação simbólica de modelos
Tese
5
6
Assuntos:
“...Verificação do modelo...”
A simple and general goodness-of-fit methodology for regression models
Tese
7
8
Assuntos:
“...Verificação de Modelos...”
Verificação formal de planos para agentes autônomos e sistemas multiagentes: um estudo de caso aplicado ao futebol de robôs
Dissertação
9
Assuntos:
“...Verificação de modelos...”
Verificação limitada de modelos baseada em SMT para programas CUDA
Dissertação
10
Assuntos:
“...Técnica de Verificação de Modelos - CTL...”
Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL.
Dissertação
11
12
Assuntos:
“...verificação de modelos...”
Planejamento sob incerteza para metas de alcançabilidade estendidas
Tese
13
Assuntos:
“...Revisão de Crenças. Verificação de Modelos...”
Revisão de modelos formais de sistemas de estados finitos
Dissertação
14
Assuntos:
“...Verificação de modelos limitada...”
Revisão de crenças em ACTL usando verificação de modelos limitada
Dissertação
15
Assuntos:
“...Verificação de modelos...”
Desenvolvimento de um mecanismo plug-and-play para o arranjo inteligente de sensores em sistemas aéreos não tripulados
Dissertação
16
Assuntos:
“...calibração e verificação de modelos...”
Modelagem hidrossedimentológica da Bacia do Rio Indaiá, Alto São Francisco – MG, utilizando SWAT
Dissertação
17
Assuntos:
“...[pt] VERIFICACAO DE MODELOS...”
[en] AN APPROACH FOR DEALING WITH INCONSISTENCIES IN DATA MASHUPS
Tese
18
19
Assuntos:
“...Verificação de modelos...”
Uma abordagem de dois níveis baseada em verificação de modelos de uma lógica modal para auxiliar na análise de conformidade arquitetural de software
Dissertação
20
Assuntos:
“...Verificação de modelos...”
Modelagem e análise de políticas de segurança em sistemas com regras associadas ao negócio.
Dissertação