Verificação Formal de Modelos de Blockchain

Detalhes bibliográficos
Autor(a) principal: BRUNO OLIMPIO COSTA
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

Registros relacionados