1. Repositório PUCRS
  2. PUBLICAÇÕES CIENTÍFICAS
  3. Apresentação em Evento
Please use this identifier to cite or link to this item: https://hdl.handle.net/10923/13146
Type: conferenceObject
Title: Um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos
Author(s): Claiton M. Correa
Fernando Luis Dotti
Paulo Henrique Lemelle Fernandes
Eli Maruani
Lucas G. Oleksinski
Afonso Henrique Corrêa de Sales
In: XIII Workshop de Testes e Tolerância a Falhas (WTF), 2012, Brasil.
Issue Date: 2012
Keywords: Redes de Autômatos Estocásticos
Verificação
Modelagem de Sistemas
URI: http://hdl.handle.net/10923/13146
Appears in Collections:Apresentação em Evento

Files in This Item:
File Description SizeFormat 
Um_Verificador_de_Modelos_Descritos_em_Redes_de_Automatos_Estocasticos.pdf1,34 MBAdobe PDFOpen
View
Show full item record See statistics Search for other versions of fulltext via SFX


All Items in PUCRS Repository are protected by copyright, with all rights reserved, and are licensed under a Creative Commons Attribution-NonCommercial 4.0 International License. Read more.