Desenvolvimento Formal de Aplicacoes para Smart Cards

Detalhes bibliográficos
Autor(a) principal: BRUNO EMERSON GURGEL GOMES
Data de Publicação: 2012
Tipo de documento: Tese
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_4da0c15ff7683877792a1cb559ca2d6f
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Desenvolvimento Formal de Aplicacoes para Smart Cards
title Desenvolvimento Formal de Aplicacoes para Smart Cards
spellingShingle Desenvolvimento Formal de Aplicacoes para Smart Cards
Smart Cards, Java Card, Métodos Formais, Método B, Refinamento, Desenvolvimento Formal, Geração de C
BRUNO EMERSON GURGEL GOMES
title_short Desenvolvimento Formal de Aplicacoes para Smart Cards
title_full Desenvolvimento Formal de Aplicacoes para Smart Cards
title_fullStr Desenvolvimento Formal de Aplicacoes para Smart Cards
Desenvolvimento Formal de Aplicacoes para Smart Cards
title_full_unstemmed Desenvolvimento Formal de Aplicacoes para Smart Cards
Desenvolvimento Formal de Aplicacoes para Smart Cards
title_sort Desenvolvimento Formal de Aplicacoes para Smart Cards
topic Smart Cards, Java Card, Métodos Formais, Método B, Refinamento, Desenvolvimento Formal, Geração de C
publishDate 2012
format doctoralThesis
author_role author
author BRUNO EMERSON GURGEL GOMES
author_facet BRUNO EMERSON GURGEL GOMES
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/7812661521592212
dc.contributor.advisor1.fl_str_mv DAVID BORIS PAUL DEHARBE
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/2985658685449858
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
instname_str UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
dc.publisher.program.fl_str_mv SISTEMAS E COMPUTAÇÃO
dc.description.course.none.fl_txt_mv SISTEMAS E COMPUTAÇÃO
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESDesenvolvimento Formal de Aplicacoes para Smart CardsDesenvolvimento Formal de Aplicacoes para Smart CardsDesenvolvimento Formal de Aplicacoes para Smart CardsDesenvolvimento Formal de Aplicacoes para Smart CardsDesenvolvimento Formal de Aplicacoes para Smart CardsDesenvolvimento Formal de Aplicacoes para Smart CardsDesenvolvimento Formal de Aplicacoes para Smart CardsSmart Cards, Java Card, Métodos Formais, Método B, Refinamento, Desenvolvimento Formal, Geração de C2012doctoralThesisauthorBRUNO EMERSON GURGEL GOMEShttp://lattes.cnpq.br/7812661521592212DAVID BORIS PAUL DEHARBEhttp://lattes.cnpq.br/2985658685449858UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTEUNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTEUNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTESISTEMAS E COMPUTAÇÃOSISTEMAS E COMPUTAÇÃOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv GOMES, BRUNO EMERSON GURGEL. Desenvolvimento Formal de Aplicacoes para Smart Cards. 2012. Tese.
dc.identifier.citation.fl_str_mv GOMES, BRUNO EMERSON GURGEL. Desenvolvimento Formal de Aplicacoes para Smart Cards. 2012. Tese.
_version_ 1741887409010769920

Registros relacionados