Um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos

Utilize este identificador para citar ou criar um atalho para este documento: 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
In:	XIII Workshop de Testes e Tolerância a Falhas (WTF), 2012, Brasil.
Data de Publicação:	2012
Palavras-chave:	Redes de Autômatos Estocásticos Verificação Modelagem de Sistemas
URI:	http://hdl.handle.net/10923/13146
Aparece nas Coleções:	Apresentação em Evento

Arquivos neste item:

Arquivo	Descrição	Tamanho	Formato
Um_Verificador_de_Modelos_Descritos_em_Redes_de_Automatos_Estocasticos.pdf		1,34 MB	Adobe PDF	Abrir Exibir