Skip navigation
Página Inicial
Percorrer
Comunidades e
Coleções
Explorar itens por:
Data de publicação
Autor
Título
Assunto
Sobre
Sobre o Repositório Institucional
Políticas de Uso
FAQs (Perguntas Frequentes)
Créditos
Estatísticas de Acesso
Entrar em:
Página Pessoal
Receber atualizações
por e-mail
Editar Perfil
Repositório PUCRS
Busca
Busca:
Todo o Repositório
PUBLICAÇÕES CIENTÍFICAS
Apresentação em Evento
por
Filtros atuais:
Título
Autor
Assunto
Data de submissão
Igual
Contém
ID
Diferente
Não Contém
Não ID
Iniciar uma nova busca
Adicionar filtros:
Use filtros para refinar os resultados da pesquisa.
Título
Autor
Assunto
Data de submissão
Igual
Contém
ID
Diferente
Não Contém
Não ID
Resultados 1-3 de 3 (Tempo de busca: 0.0 Segundos).
anterior
1
próximo
Resultados em Itens:
Data de publicação
Título
Autor(es)
2012
Um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos
Claiton M. Correa
;
Fernando Luis Dotti
;
Paulo Henrique Lemelle Fernandes
;
Eli Maruani
;
Lucas G. Oleksinski
;
Afonso Henrique Corrêa de Sales
2012
Um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos
Claiton M. Correa
;
Fernando Luis Dotti
;
Paulo Henrique Lemelle Fernandes
;
Eli Maruani
;
Lucas G. Oleksinski
;
Afonso Henrique Corrêa de Sales
2013
A CTL Model Checker for Stochastic Automata Networks
Lucas G. Oleksinski
;
Claiton M. Correa
;
Fernando Luis Dotti
;
Afonso Henrique Corrêa de Sales
Descoberta
Autor
3
Afonso Henrique Corrêa de Sales
3
Claiton M. Correa
3
Lucas G. Oleksinski
2
Eli Maruani
2
Paulo Henrique Lemelle Fernandes
Assunto
2
Modelagem de Sistemas
2
Redes de Autômatos Estocásticos
2
Verificação
1
Model Checking
1
Software Tool
1
Stochastic Automata Networks
Data de submissão
1
2013
2
2012