Verificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Processadores de Ponto-Fixo

Detalhes bibliográficos
Principais autores: HUSSAMA IBRAHIM ISMAIL, Hussama Ibrahim Ismail
Data de Publicação: 2015
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=2930899
id BRCRIS_53f89456c686b43c38883aea0c555df6
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Verificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Processadores de Ponto-Fixo
title Verificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Processadores de Ponto-Fixo
spellingShingle Verificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Processadores de Ponto-Fixo
bounded model checking
verificação limitada de modelos.
HUSSAMA IBRAHIM ISMAIL
Hussama Ibrahim Ismail
title_short Verificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Processadores de Ponto-Fixo
title_full Verificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Processadores de Ponto-Fixo
title_fullStr Verificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Processadores de Ponto-Fixo
Verificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Processadores de Ponto-Fixo
title_full_unstemmed Verificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Processadores de Ponto-Fixo
Verificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Processadores de Ponto-Fixo
title_sort Verificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Processadores de Ponto-Fixo
topic bounded model checking
verificação limitada de modelos.
publishDate 2015
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=2930899
author_role author
author HUSSAMA IBRAHIM ISMAIL
Hussama Ibrahim Ismail
author_facet HUSSAMA IBRAHIM ISMAIL
Hussama Ibrahim Ismail
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/0237240942570724
dc.contributor.advisor1.fl_str_mv LUCAS CARVALHO CORDEIRO
WALDIR SABINO DA SILVA JUNIOR
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/1014904168887285
http://lattes.cnpq.br/5005832876603012
dc.contributor.advisor1orcid.por.fl_str_mv https://orcid.org/0000000262354272
https://orcid.org/0000000251000719
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 CAPESVerificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Processadores de Ponto-FixoVerificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Processadores de Ponto-FixoVerificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Processadores de Ponto-FixoVerificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Processadores de Ponto-FixoVerificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Processadores de Ponto-FixoVerificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Processadores de Ponto-FixoVerificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Processadores de Ponto-Fixobounded model checking2015masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=2930899authorHUSSAMA IBRAHIM ISMAILhttp://lattes.cnpq.br/0237240942570724LUCAS CARVALHO CORDEIROhttp://lattes.cnpq.br/1014904168887285https://orcid.org/0000000262354272UNIVERSIDADE 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 ISMAIL, HUSSAMA IBRAHIM. Verificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Processadores de Ponto-Fixo. 2015. Tese.
dc.identifier.citation.fl_str_mv ISMAIL, HUSSAMA IBRAHIM. Verificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Processadores de Ponto-Fixo. 2015. Tese.
_version_ 1741888603854733312

Registros relacionados