1. Repositório PUCRS
  2. PUBLICAÇÕES CIENTÍFICAS
  3. Apresentação em Evento
Por favor, use este identificador para citar o enlazar este ítem: https://hdl.handle.net/10923/13146
Registro completo de metadatos
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 en las colecciones:Apresentação em Evento

Ficheros en este ítem:
Fichero Descripción TamañoFormato 
Um_Verificador_de_Modelos_Descritos_em_Redes_de_Automatos_Estocasticos.pdf1,34 MBAdobe PDFAbrir
Ver
Mostrar el registro sencillo del ítem Ver estatísticas Busque otras versiones de este texto através de SFX


Todos los ítems en el Repositorio de la PUCRS están protegidos por derechos de autor, con todos los derechos reservados, y están bajo una licencia de Creative Commons Reconocimiento-NoComercial 4.0 Internacional. Sepa más.