1
Assuntos:
“...Validação e verificação de código...”
Análise do software CFD++ com vistas a simulação da geração de som em um eslate
Dissertação
2
Assuntos:
“...Validação e Verificação...”
Estratégias para controlar o tamanho da suíte de teste gerada a partir de abordagens MBT.
Tese
3
Assuntos:
“...Validação e verificação...”
Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos
Tese