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:
“...Data Verification and Validation...”
Análise de cobertura funcional na fase de integração de blocos de circuitos digitais.
Tese
2
Assuntos:
“...Functional verification...”
VEasy : a tool suite towards the functional verification challenges
Tese
3
4
5
Assuntos:
“...Formal verification...”
Network testing through grammars : towards the analysis of property violation on computer networks
Tese
6
7
Assuntos:
“...Formal verification...”
Modelagem de sistemas químicos como máquinas de estados finitos para fins de verificação formal
Tese
8
Assuntos:
“...Formal verification...”
Automated Verification of Stand-alone Solar Photovoltaic Systems: Optimal Sizing and Project Validation
Tese
9
Assuntos:
“...journalism of verification...”
Jornalismo de verificação como tipo ideal : a prática de fact-checking no Brasil
Tese
10
11
Assuntos:
“...Modernité et service de vérification des décès...”
O trabalho com a morte: estudo sociológico da morte no serviço de verificação de óbitos de João Pessoa – PB
Tese
12
Assuntos:
“...Validation and Verification...”
Estratégias para controlar o tamanho da suíte de teste gerada a partir de abordagens MBT.
Tese
13
Assuntos:
“...Speaker verification...”
Elaboração de filtros Wavelets baseada em conhecimento para distinção de locutores autênticos e inautênticos
Tese
14
Assuntos:
“...Formal Verification...”
Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)
Tese
15
Assuntos:
“...Verification...”
Estimativa do erro de discretização analítico na solução de equações diferenciais utilizando o Método de Volumes Finitos
Tese
16
Assuntos:
“...Verification of Embedded Systems....”
Especificação e verificação sistemática, formal e modular de sistemas embarcados.
Tese
17
Assuntos:
“...Authenticity verification...”
MARDI: Marca d'água Digital Robusta via Decomposição de Imagens : uma proposta para aumentar a robustez de técnicas de marca d'água digital
Tese
18
Assuntos:
“...Formal verification...”
Strategies for testing and formalizing properties of modern programming languages
Tese
19
Assuntos:
“...Formal verification...”
Enriching SysML-based software architecture descriptions: a model-driven approach
Tese
20
Assuntos:
“...Validation and verification...”
Mission-driven software-intensive system-of-systems architecture design
Tese