1
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Um método para verificação formal e dinâmica de sistemas de software concorrentes
Dissertação
2
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Reconhecimento de atividades humanas através de um smartphone
Dissertação
3
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Uma arquitetura de aplicação gamificada para o monitoramento e tratamento da doença renal crônica
Dissertação
4
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Gungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados
Dissertação
5
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Estudo e desenvolvimento de uma solução para o auxílio ao cuidado à saúde
Dissertação