1. Repositório PUCRS
  2. PUBLICAÇÕES CIENTÍFICAS
  3. Apresentação em Evento
Utilize este identificador para citar ou criar um atalho para este documento: https://hdl.handle.net/10923/13146
Registro Completo de Metadados
Campo DCValorIdioma
dc.contributor.authorClaiton M. Correa-
dc.contributor.authorFernando Luis Dotti-
dc.contributor.authorPaulo Henrique Lemelle Fernandes-
dc.contributor.authorEli Maruani-
dc.contributor.authorLucas G. Oleksinski-
dc.contributor.authorAfonso Henrique Corrêa de Sales-
dc.date.accessioned2018-11-12T11:56:36Z-
dc.date.available2018-11-12T11:56:36Z-
dc.date.issued2012-
dc.identifier.urihttp://hdl.handle.net/10923/13146-
dc.language.isopt_BR-
dc.relation.ispartofXIII Workshop de Testes e Tolerância a Falhas (WTF), 2012, Brasil.-
dc.rightsopenAccess-
dc.subjectRedes de Autômatos Estocásticos-
dc.subjectVerificação-
dc.subjectModelagem de Sistemas-
dc.titleUm Verificador de Modelos Descritos em Redes de Autômatos Estocásticos-
dc.typeconferenceObject-
dc.date.updated2018-11-12T11:56:36Z-
Aparece nas Coleções:Apresentação em Evento

Arquivos neste item:
Arquivo Descrição TamanhoFormato 
Um_Verificador_de_Modelos_Descritos_em_Redes_de_Automatos_Estocasticos.pdf1,34 MBAdobe PDFAbrir
Exibir
Ver em formato simples Ver estatísticas Busque outras versões desse texto via SFX


Todos os itens no Repositório da PUCRS estão protegidos por copyright, com todos os direitos reservados, e estão licenciados com uma Licença Creative Commons - Atribuição-NãoComercial 4.0 Internacional. Saiba mais.