Verificação Formal de Modelos de Blockchain
Autor(a) principal: | |
---|---|
Data de Publicação: | 2019 |
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=7697973 |
id |
BRCRIS_c7dcbb3431f5413fe105c3f2263de48c |
---|---|
network_acronym_str |
CAPES |
network_name_str |
Portal de Dados Abertos da CAPES |
dc.title.pt-BR.fl_str_mv |
Verificação Formal de Modelos de Blockchain |
title |
Verificação Formal de Modelos de Blockchain |
spellingShingle |
Verificação Formal de Modelos de Blockchain Verificação de modelos Bitcoin BRUNO OLIMPIO COSTA |
title_short |
Verificação Formal de Modelos de Blockchain |
title_full |
Verificação Formal de Modelos de Blockchain |
title_fullStr |
Verificação Formal de Modelos de Blockchain Verificação Formal de Modelos de Blockchain |
title_full_unstemmed |
Verificação Formal de Modelos de Blockchain Verificação Formal de Modelos de Blockchain |
title_sort |
Verificação Formal de Modelos de Blockchain |
topic |
Verificação de modelos Bitcoin |
publishDate |
2019 |
format |
masterThesis |
url |
https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=7697973 |
author_role |
author |
author |
BRUNO OLIMPIO COSTA |
author_facet |
BRUNO OLIMPIO COSTA |
dc.contributor.advisor1.fl_str_mv |
Bruno Lopes Vieira |
dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/7793315334001237 |
dc.contributor.advisor1orcid.por.fl_str_mv |
https://orcid.org/0000000312040176 |
dc.publisher.none.fl_str_mv |
UNIVERSIDADE FEDERAL FLUMINENSE |
publisher.none.fl_str_mv |
UNIVERSIDADE FEDERAL FLUMINENSE |
instname_str |
UNIVERSIDADE FEDERAL FLUMINENSE |
dc.publisher.program.fl_str_mv |
COMPUTAÇÃO |
dc.description.course.none.fl_txt_mv |
COMPUTAÇÃO |
reponame_str |
Portal de Dados Abertos da CAPES |
collection |
Portal de Dados Abertos da CAPES |
spelling |
CAPESPortal de Dados Abertos da CAPESVerificação Formal de Modelos de BlockchainVerificação Formal de Modelos de BlockchainVerificação Formal de Modelos de BlockchainVerificação Formal de Modelos de BlockchainVerificação Formal de Modelos de BlockchainVerificação Formal de Modelos de BlockchainVerificação Formal de Modelos de BlockchainVerificação de modelos2019masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=7697973authorBRUNO OLIMPIO COSTABruno Lopes Vieirahttp://lattes.cnpq.br/7793315334001237https://orcid.org/0000000312040176UNIVERSIDADE FEDERAL FLUMINENSEUNIVERSIDADE FEDERAL FLUMINENSEUNIVERSIDADE FEDERAL FLUMINENSECOMPUTAÇÃOCOMPUTAÇÃOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES |
identifier_str_mv |
COSTA, BRUNO OLIMPIO. Verificação Formal de Modelos de Blockchain. 2019. Tese. |
dc.identifier.citation.fl_str_mv |
COSTA, BRUNO OLIMPIO. Verificação Formal de Modelos de Blockchain. 2019. Tese. |
_version_ |
1741887952900849664 |