Desenvolvimento Formal de Aplicacoes para Smart Cards
Autor(a) principal: | |
---|---|
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 |