Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da Satisfatibilidade

Detalhes bibliográficos
Autor(a) principal: RENATO BARBOSA ABREU
Data de Publicação: 2014
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
Texto Completo: https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=2182822
id BRCRIS_3a0ca39881b810bc3f3e2bc3e000d1d1
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da Satisfatibilidade
title Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da Satisfatibilidade
spellingShingle Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da Satisfatibilidade
filtros em ponto-fixo, m´etodos formais, verifica¸c˜ao de modelos
fixed-point filters, formal methods, model checking
RENATO BARBOSA ABREU
title_short Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da Satisfatibilidade
title_full Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da Satisfatibilidade
title_fullStr Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da Satisfatibilidade
Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da Satisfatibilidade
title_full_unstemmed Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da Satisfatibilidade
Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da Satisfatibilidade
title_sort Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da Satisfatibilidade
topic filtros em ponto-fixo, m´etodos formais, verifica¸c˜ao de modelos
fixed-point filters, formal methods, model checking
publishDate 2014
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=2182822
author_role author
author RENATO BARBOSA ABREU
author_facet RENATO BARBOSA ABREU
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/3090810159736491
dc.contributor.advisor1.fl_str_mv EDDIE BATISTA DE LIMA FILHO
LUCAS CARVALHO CORDEIRO
WALDIR SABINO DA SILVA JUNIOR
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/7827981023232761
http://lattes.cnpq.br/1014904168887285
http://lattes.cnpq.br/5005832876603012
dc.contributor.advisor1orcid.por.fl_str_mv https://orcid.org/0000000251000719
https://orcid.org/0000000227584638
https://orcid.org/0000000262354272
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO AMAZONAS
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO AMAZONAS
instname_str UNIVERSIDADE FEDERAL DO AMAZONAS
dc.publisher.program.fl_str_mv ENGENHARIA ELÉTRICA
dc.description.course.none.fl_txt_mv ENGENHARIA ELÉTRICA
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESAvaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da SatisfatibilidadeAvaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da SatisfatibilidadeAvaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da SatisfatibilidadeAvaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da SatisfatibilidadeAvaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da SatisfatibilidadeAvaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da SatisfatibilidadeAvaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da Satisfatibilidadefiltros em ponto-fixo, m´etodos formais, verifica¸c˜ao de modelos2014masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=2182822authorRENATO BARBOSA ABREUhttp://lattes.cnpq.br/3090810159736491EDDIE BATISTA DE LIMA FILHOhttp://lattes.cnpq.br/7827981023232761https://orcid.org/0000000251000719UNIVERSIDADE FEDERAL DO AMAZONASUNIVERSIDADE FEDERAL DO AMAZONASUNIVERSIDADE FEDERAL DO AMAZONASENGENHARIA ELÉTRICAENGENHARIA ELÉTRICAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv ABREU, RENATO BARBOSA. Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da Satisfatibilidade. 2014. Tese.
dc.identifier.citation.fl_str_mv ABREU, RENATO BARBOSA. Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da Satisfatibilidade. 2014. Tese.
_version_ 1741890690479030272

Registros relacionados