Search




Current filters:




Add filters:

Use filters to refine the search results.

Results 11-17 of 17 (Search time: 0.002 seconds).
Item hits:
Issue DatePreviewTitleAuthor(s)???itemlist.dc.contributor.advisor1???ProgramDocument Type
23-Mar-2015Dissertação-Silvia R A Meireles.pdf.jpgEvolução da ferramenta web guitar para geração automática de casos de teste de interface para aplicações webMeireles, Silvia Regina AssisDias Neto, Arilo CláudioPrograma de Pós-graduação em InformáticaDissertação
4-Feb-2011HERBERT OLIVEIRA ROCHA.pdf.jpgVerificação e comprovação de erros em códigos C usando bounded model checkerRocha, Herbert OliveiraBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaDissertação
7-Mar-2022Dissertação_RonemLavareda_PPGI.pdf.jpgAutenticação de alunos utilizando biometria comportamental em ambientes Juiz On-lineLavareda Filho, Ronem MatosColonna, Juan GabrielPrograma de Pós-graduação em InformáticaDissertação
3-Jul-2015Tese - Herbert Oliveira Rocha.pdf.jpgVerificação de sistemas de software baseada em transformações de código usando Bounded Model CheckingRocha, Herbert OliveiraBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaTese
19-Dec-2022Tese_EdsonSilva_PPGI.pdf.jpgUma abordagem baseada em Engenharia Dirigida por Modelos e Aprendizado de Máquina Aplicado a Robôs MóveisSilva, Edson de AraújoBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaTese
9-Mar-2023PTMOL - Uma linguagem para modelagem de ameaças de privacidade orientada a Redes Sociais OnlineRodrigues, Andrey Antonio de OliveiraFeitosa, Eduardo LuzeiroPrograma de Pós-graduação em InformáticaTese
18-Dec-2023Um método para monitoramento e geração de feedbacks em atividades físicas repetitivas baseado em Máquinas de Boltzmann RestritasAlencar, Márcio André da CostaBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaTese

Discover

Document Type
Date issued
???jsp.search.facet.refine.available???
???jsp.search.facet.refine.format???
???jsp.search.facet.refine.access???