Página de Busca




Filtros correntes:

Adicionar filtros:

Utilizar filtros para refinar o resultado de busca.


Resultado 1-8 de 8.
  • Anterior
  • 1
  • Próximo
Conjunto de itens:
Data de defesaPré-visualizaçãoTítuloAutorOrientadorProgramaTipo de documento
9-Fev-2015Dissertação - Alessandro Bezerra Trindade.pdf.jpgAplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcadosTrindade, Alessandro BezerraCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
11-Nov-2015Dissertação -Hussama Ibrahim Ismail.pdf.jpgVerificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixoIsmail, Hussama IbrahimCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
20-Dez-2013Dissertação - Mikhail Yasha  Ramalho Gadelha.pdf.jpgVerificação baseada em indução matemática para programas C++Gadelha, Mikhail Yasha RamalhoCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
17-Jun-2014Dissertação - Renato Barbosa Abreu.pdf.jpgAvaliação de projetos de filtros digitais de ponto-fixo usando teorias do módulo da satisfatibilidadeAbreu, Renato BarbosaCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
13-Set-2016Dissertação - Mário A. P. Garcia.pdf.jpgVerificação de programas C++ baseados no framework crossplataforma QtGarcia, Mário Angel PraiaCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
1-Abr-2015Dissertação - Francisco de Assis Pereira Januário.pdf.jpgBMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model CheckingJanuário, Francisco de Assis PereiraCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
2-Fev-2018Dissertação_Lennon Chaves.pdf.jpgFormal verification applied to attitude control software of unmanned aerial vehiclesChaves, Lennon CorrêaCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
10-Ago-2017Dissertação_Raimundo W. R. Melo.pdf.jpgVerificação de Programas Embarcados ANSI-C baseada em indução Matemática e InvariantesMelo, Raimundo Williame Rocha deCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação

Busca facetada

Sigla da instituição
Tipo de documento
Ano de defesa
Tipo de arquivo
Tipo de acesso