Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados

Detalhes bibliográficos
Autor(a) principal: ALESSANDRO BEZERRA TRINDADE
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=2862087
id BRCRIS_0c3671c6cc25a39a94f00b496d24c5bd
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados
title Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados
spellingShingle Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados
model checking
verificação de modelos
ALESSANDRO BEZERRA TRINDADE
title_short Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados
title_full Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados
title_fullStr Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados
Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados
title_full_unstemmed Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados
Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados
title_sort Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados
topic model checking
verificação de modelos
publishDate 2015
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=2862087
author_role author
author ALESSANDRO BEZERRA TRINDADE
author_facet ALESSANDRO BEZERRA TRINDADE
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/4511445991061477
dc.contributor.advisor1.fl_str_mv WALDIR SABINO DA SILVA JUNIOR
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/1014904168887285
dc.contributor.advisor1orcid.por.fl_str_mv 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 CAPESAplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcadosAplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcadosAplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcadosAplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcadosAplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcadosAplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcadosAplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcadosmodel checking2015masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=2862087authorALESSANDRO BEZERRA TRINDADEhttp://lattes.cnpq.br/4511445991061477WALDIR SABINO DA SILVA JUNIORhttp://lattes.cnpq.br/1014904168887285https://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 TRINDADE, ALESSANDRO BEZERRA. Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados. 2015. Tese.
dc.identifier.citation.fl_str_mv TRINDADE, ALESSANDRO BEZERRA. Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados. 2015. Tese.
_version_ 1741889642694705152

Registros relacionados