Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados
Autor(a) principal: | |
---|---|
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 |