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
Tipo: conferenceObject
Título: Um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos
Autor(es): Claiton M. Correa
Fernando Luis Dotti
Paulo Henrique Lemelle Fernandes
Eli Maruani
Lucas G. Oleksinski
Afonso Henrique Corrêa de Sales
En: XIII Workshop de Testes e Tolerância a Falhas (WTF), 2012, Brasil.
Fecha de Publicación: 2012
Palabras clave: Redes de Autômatos Estocásticos
Verificação
Modelagem de Sistemas
URI: http://hdl.handle.net/10923/13146
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 completo 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.