Buscas alternativas:
verification » verificacao (Expandir a busca), verificado (Expandir a busca), verificamos (Expandir a busca)
verification » verificacao (Expandir a busca), verificado (Expandir a busca), verificamos (Expandir a busca)
1
Assuntos:
“...[en] VERIFICATION AUTONOMOUS SYSTEM...”
[en] JAT4BDI: A NEW APPROACH TO TESTING DELIBERATIVE AGENTS
Tese
2
Assuntos:
“...[en] VERIFICATION...”
[en] AN APPROACH FOR REVIEWING SECURITY RELATED ASPECTS IN AGILE REQUIREMENTS SPECIFICATIONS OF WEB APPLICATIONS
Tese
3
Assuntos:
“...[en] VERIFICATION...”
[pt] AVALIAÇÃO DO USO DE ANÁLISE ESTÁTICA NA DETECÇÃO DE CONFLITOS SEMÂNTICOS EM TIPOS DE DADOS
Tese
4
Assuntos:
“...Verification methodology...”
Verificação funcional para circuitos de transmissão e recepção de sinais mistos.
Dissertação
5
Assuntos:
“...CAD for verification...”
Ferramenta CAD para extração de modelo de cobertura de saída por itens em verificação funcional.
Dissertação
6
Assuntos:
“...Network verification...”
VERMONT : an In-band telemetry-based approach for live network property verification
Dissertação
7
Assuntos:
“...Signature verification...”
An offline writer independent signature verification method with robustness against scalings and rotations
Dissertação
8
9
Assuntos:
“...Verification...”
Metodologia de Verificação Funcional para Circuitos Analógicos
Dissertação
10
Assuntos:
“...BVM - Verification Methodology...”
BVM: reformulação da metodologia de verificação funcional VeriSC.
Dissertação
11
Assuntos:
“...Software Verification...”
Rabbit: A novel approach to find data-races during state-space exploration
Dissertação
12
Assuntos:
“...Data Verification and Validation...”
Análise de cobertura funcional na fase de integração de blocos de circuitos digitais.
Tese
13
Assuntos:
“...Software Verification...”
Uma técnica para modelagem e verificação de programas JAVA concorrentes auxiliada por anotações de código.
Dissertação
14
Assuntos:
“...Formal Verification...”
Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas
Dissertação
15
Assuntos:
“...Verification...”
Uncovering bugs in P4 programs with assertion based verification
Dissertação
16
17
Assuntos:
“...Functional verification...”
VEasy : a tool suite towards the functional verification challenges
Tese
18
Assuntos:
“...Formal verification or finite-state systems...”
Verificação formal de sistemas modelados em estados finitos.
Dissertação
19
Assuntos:
“...Formal Verification...”
Modelagem e verificação automática de um protocolo de controle de fluxo adaptativo usando traços de execução.
Dissertação
20
Assuntos:
“...Program Verification...”
Validação visual de programas Ladder baseada em modelos.
Dissertação