Buscas alternativas:
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification processes » purification processes (Expandir a busca), desertification processes (Expandir a busca), identification processes (Expandir a busca)
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification processes » purification processes (Expandir a busca), desertification processes (Expandir a busca), identification processes (Expandir a busca)
1
Assuntos:
“...Validation and Verification...”
Estratégias para controlar o tamanho da suíte de teste gerada a partir de abordagens MBT.
Tese
2
Assuntos:
“...Validation and Verification...”
Estratégias para controlar o tamanho da suíte de teste gerada a partir de abordagens MBT.
Tese
3
4
5
6
“... mathematical modeling of problems presented and using sequential algorithms and writings parallels in the...”
Modelos dinâmicos simplificados, para verificação do comportamento de rede de satélites amarrados por cabos flexíveis, usando-se o método explícito das diferenças finitas
Dissertação
7
8
9
10
11
12
13
14
16
“... validation and verification of concurrent systems, it is essential to investigate the presence or absence...”
A strategy for local analysis of determinism
Dissertação
17
18
“... campaigns, which provide a range of high quality ground measurements, e.g., CHUVA (Cloud processes of tHe...”
Characteristics and error modeling of GPM satellite rainfall estimates during CHUVA campaign in Brazil
Tese