Tradução de Diagramas de Estado UML para um Modelo de Verificação Formal
Autor(a) principal: | |
---|---|
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 |