1
Assuntos:
“...Programas de computador Verificação...”
Um algoritmo distribuído para verificação de modelos com fronteiras
Dissertação
2
Assuntos:
“...Programas de computador Verificação...”
Solução exata de problemas de escalonamento determinísticos por meio de verificação simbólica de modelos
Tese
3
Assuntos:
“...Programas de computador Verificação...”
Processador de asserções para depuração de circuitos integrados em tempo de execução
Dissertação
4
Assuntos:
“...Programas de computador Verificação...”
Uma metodologia para verificação de modelos de sistemas de comércio eletrônico (A model checking methodology for e-commerce systems)
Dissertação
5
6
Assuntos:
“...Programas de computador - Verificação...”
Modelagem fluidodinâmica computacional (CFD) do modelo reduzido do reservatório da PCH Salto do Paraopeba
Dissertação
7
Assuntos:
“...Programas de computador - Verificação...”
Microssimulação para avaliação de desempenho operacional da duplicação de uma rodovia: caso da BR-365
Dissertação