Portal do Governo Brasileiro
Inicio
Busca
Sobre o Educapes
Sobre o eduCapes
Como faço minha busca?
Como submeto meu material?
Parceiros
Contato
Fale conosco
Dúvidas frequentes
Login
Submissões
Receber atualizações
por e-mail
Editar Conta
Menu
Inicio
Busca
Sobre o Educapes
Sobre o eduCapes
Como faço minha busca?
Como submeto meu material?
Parceiros
Contato
Fale conosco
Dúvidas frequentes
Login
Submissões
Receber atualizações
por e-mail
Editar Conta
Avaliação do
Você é humano?
8
5
=
Navegar por:
Assunto
Autores
Data do documento
Título
Material UAB
Periódicos
Portal eduCapes
Seta
Navegando por Assunto
Ir para:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
ou entre com as primeiras letras:
ou consultar o Portal de Periódicos:
Ordem:
Ascendente
Descendente
Resultados / Página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Mostrando resultados 316254 a 316273 de 323529
« Anterior
Próximo »
Verificação automática de regras
1
verificação da conformidade
1
verificação de completitude
1
Verificação de conformidade
2
Verificação de linhas
2
Verificação de locutor
1
Verificação de Modelos
1
Verificação de modelos
3
Verificação de modelos simbólica
1
Verificação em tempo de execução
2
Verificação formal
10
Verificação vacinal
2
Verification
2
Verification list
1
Verification Model
1
Verilog-A
3
verilog-A
1
Verisimilitude
1
Verissimo
1
verité
1