Abordagens Paralelas para Model Checking de Redes de Autômatos Estocásticos

Detalhes bibliográficos
Autor(a) principal: LUCAS GIARETTA OLEKSINSKI
Data de Publicação: 2013
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
Texto Completo: https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=88157
id BRCRIS_b418d3f775e7835655de64b9bdbe3220
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Abordagens Paralelas para Model Checking de Redes de Autômatos Estocásticos
title Abordagens Paralelas para Model Checking de Redes de Autômatos Estocásticos
spellingShingle Abordagens Paralelas para Model Checking de Redes de Autômatos Estocásticos
Verificação de Modelos Paralela e Distribuída
Parallel and Distributed Model Checking
LUCAS GIARETTA OLEKSINSKI
title_short Abordagens Paralelas para Model Checking de Redes de Autômatos Estocásticos
title_full Abordagens Paralelas para Model Checking de Redes de Autômatos Estocásticos
title_fullStr Abordagens Paralelas para Model Checking de Redes de Autômatos Estocásticos
Abordagens Paralelas para Model Checking de Redes de Autômatos Estocásticos
title_full_unstemmed Abordagens Paralelas para Model Checking de Redes de Autômatos Estocásticos
Abordagens Paralelas para Model Checking de Redes de Autômatos Estocásticos
title_sort Abordagens Paralelas para Model Checking de Redes de Autômatos Estocásticos
topic Verificação de Modelos Paralela e Distribuída
Parallel and Distributed Model Checking
publishDate 2013
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=88157
author_role author
author LUCAS GIARETTA OLEKSINSKI
author_facet LUCAS GIARETTA OLEKSINSKI
dc.contributor.advisor1.fl_str_mv FERNANDO LUÍS DOTTI
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/3145198954829457
dc.publisher.none.fl_str_mv PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO GRANDE DO SUL
publisher.none.fl_str_mv PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO GRANDE DO SUL
instname_str PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO GRANDE DO SUL
dc.publisher.program.fl_str_mv CIÊNCIA DA COMPUTAÇÃO
dc.description.course.none.fl_txt_mv CIÊNCIA DA COMPUTAÇÃO
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESAbordagens Paralelas para Model Checking de Redes de Autômatos EstocásticosAbordagens Paralelas para Model Checking de Redes de Autômatos EstocásticosAbordagens Paralelas para Model Checking de Redes de Autômatos EstocásticosAbordagens Paralelas para Model Checking de Redes de Autômatos EstocásticosAbordagens Paralelas para Model Checking de Redes de Autômatos EstocásticosAbordagens Paralelas para Model Checking de Redes de Autômatos EstocásticosAbordagens Paralelas para Model Checking de Redes de Autômatos EstocásticosVerificação de Modelos Paralela e Distribuída2013masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=88157authorLUCAS GIARETTA OLEKSINSKIFERNANDO LUÍS DOTTIhttp://lattes.cnpq.br/3145198954829457PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO GRANDE DO SULPONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO GRANDE DO SULPONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO GRANDE DO SULCIÊNCIA DA COMPUTAÇÃOCIÊNCIA DA COMPUTAÇÃOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv OLEKSINSKI, LUCAS GIARETTA. Abordagens Paralelas para Model Checking de Redes de Autômatos Estocásticos. 2013. Tese.
dc.identifier.citation.fl_str_mv OLEKSINSKI, LUCAS GIARETTA. Abordagens Paralelas para Model Checking de Redes de Autômatos Estocásticos. 2013. Tese.
_version_ 1741888357534793728

Registros relacionados