Tradução de Diagramas de Estado UML para um Modelo de Verificação Formal

Detalhes bibliográficos
Autor(a) principal: Tayana Uchoa Conte
Data de Publicação: 2001
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_48c5e8d3510b2a363b9cd641110c8198
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Tradução de Diagramas de Estado UML para um Modelo de Verificação Formal
title Tradução de Diagramas de Estado UML para um Modelo de Verificação Formal
spellingShingle Tradução de Diagramas de Estado UML para um Modelo de Verificação Formal
Tayana Uchoa Conte
title_short Tradução de Diagramas de Estado UML para um Modelo de Verificação Formal
title_full Tradução de Diagramas de Estado UML para um Modelo de Verificação Formal
title_fullStr Tradução de Diagramas de Estado UML para um Modelo de Verificação Formal
Tradução de Diagramas de Estado UML para um Modelo de Verificação Formal
title_full_unstemmed Tradução de Diagramas de Estado UML para um Modelo de Verificação Formal
Tradução de Diagramas de Estado UML para um Modelo de Verificação Formal
title_sort Tradução de Diagramas de Estado UML para um Modelo de Verificação Formal
publishDate 2001
format masterThesis
author_role author
author Tayana Uchoa Conte
author_facet Tayana Uchoa Conte
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/6682919653508224
dc.contributor.advisor1.fl_str_mv EDJARD SOUZA MOTA
Claudionor Nunes Coelho Junior
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/8674107427300722
http://lattes.cnpq.br/0757666181169076
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE MINAS GERAIS
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE MINAS GERAIS
instname_str UNIVERSIDADE FEDERAL DE MINAS GERAIS
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESTradução de Diagramas de Estado UML para um Modelo de Verificação FormalTradução de Diagramas de Estado UML para um Modelo de Verificação FormalTradução de Diagramas de Estado UML para um Modelo de Verificação FormalTradução de Diagramas de Estado UML para um Modelo de Verificação FormalTradução de Diagramas de Estado UML para um Modelo de Verificação FormalTradução de Diagramas de Estado UML para um Modelo de Verificação FormalTradução de Diagramas de Estado UML para um Modelo de Verificação Formal2001masterThesisauthorTayana Uchoa Contehttp://lattes.cnpq.br/6682919653508224EDJARD SOUZA MOTAhttp://lattes.cnpq.br/8674107427300722UNIVERSIDADE FEDERAL DE MINAS GERAISUNIVERSIDADE FEDERAL DE MINAS GERAISUNIVERSIDADE FEDERAL DE MINAS GERAISPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv Conte, Tayana Uchoa. Tradução de Diagramas de Estado UML para um Modelo de Verificação Formal. 2001. Tese.
dc.identifier.citation.fl_str_mv Conte, Tayana Uchoa. Tradução de Diagramas de Estado UML para um Modelo de Verificação Formal. 2001. Tese.
_version_ 1741889868588384256

Registros relacionados