Please use this identifier to cite or link to this item: http://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


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.