1
Assuntos:
“...Verificação de modelos...”
Uma abordagem para verificação de missões multi-robôs em alto nível no UPPAAL
Dissertação
2
Assuntos:
“...Verificação de modelos...”
Solução exata de problemas de escalonamento determinísticos por meio de verificação simbólica de modelos
Tese
3
4
5
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
6
Assuntos:
“...Verificação de modelos...”
Verificação limitada de modelos baseada em SMT para programas CUDA
Dissertação
7
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
8
9
Assuntos:
“...verificação de modelos...”
Planejamento sob incerteza para metas de alcançabilidade estendidas
Tese
10
Assuntos:
“...Revisão de Crenças. Verificação de Modelos...”
Revisão de modelos formais de sistemas de estados finitos
Dissertação
11
Assuntos:
“...Verificação de modelos limitada...”
Revisão de crenças em ACTL usando verificação de modelos limitada
Dissertação
12
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
13
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
14
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
15
Assuntos:
“...Verificação de modelos conceituais...”
A model-driven approach to the conceptual modeling of situations: from specification to validation
Dissertação
16
Assuntos:
“...Verificação de modelos conceituais...”
A model-based graphical editor for supporting the creation, verification and validation of OntoUML conceptual models
Dissertação
17
Assuntos:
“...Verificação de Modelos...”
Model checking requirements written in a controlled natural language
Dissertação
18
Assuntos:
“...Verificação de Modelos Probabilísticos...”
Probabilistic analysis applied to robots
Dissertação
19
Assuntos:
“...Verificação de Modelos...”
Localização de falhas em programas concorrentes em C
Dissertação
20
Assuntos:
“...Verificação de modelos...”
Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo
Dissertação