Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.

Detalhes bibliográficos
Autor(a) principal: RICARDO BEDIN FRANCA
Data de Publicação: 2008
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_119a3d22cd443c2d96e4c0253fc697ed
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.
title Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.
spellingShingle Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.
RICARDO BEDIN FRANCA
title_short Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.
title_full Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.
title_fullStr Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.
Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.
title_full_unstemmed Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.
Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.
title_sort Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.
publishDate 2008
format masterThesis
author_role author
author RICARDO BEDIN FRANCA
author_facet RICARDO BEDIN FRANCA
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/2537732169162826
dc.contributor.advisor1.fl_str_mv Leandro Buss Becker
JEAN MARIE ALEXANDRE FARINES
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/4953705856223870
http://lattes.cnpq.br/4970009027814810
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE SANTA CATARINA
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE SANTA CATARINA
instname_str UNIVERSIDADE FEDERAL DE SANTA CATARINA
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESUma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.2008masterThesisauthorRICARDO BEDIN FRANCAhttp://lattes.cnpq.br/2537732169162826 Leandro Buss Beckerhttp://lattes.cnpq.br/4953705856223870UNIVERSIDADE FEDERAL DE SANTA CATARINAUNIVERSIDADE FEDERAL DE SANTA CATARINAUNIVERSIDADE FEDERAL DE SANTA CATARINAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv FRANCA, RICARDO BEDIN. Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.. 2008. Tese.
dc.identifier.citation.fl_str_mv FRANCA, RICARDO BEDIN. Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.. 2008. Tese.
_version_ 1741890880935034880

Registros relacionados