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-4 de 4 (Tempo de busca: 0.001 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
2020
Data visualization on focus: exploring communicability of dashboards generated from BI tools
Felipe Nunes
;
Claiton M. Correa
;
Alessandra Jandrey
;
Allan Barcelos
;
Daniel Reyes
;
Matheus Bernardes
;
Afonso Henrique Corrêa de Sales
;
Milene Selbach Silveira
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
4
Afonso Henrique Corrêa de Sales
3
Fernando Luis Dotti
3
Lucas G. Oleksinski
2
Eli Maruani
2
Paulo Henrique Lemelle Fernandes
1
Alessandra Jandrey
1
Allan Barcelos
1
Daniel Reyes
1
Felipe Nunes
1
Matheus Bernardes
.
próximo ►
Assunto
2
Modelagem de Sistemas
2
Redes de Autômatos Estocásticos
2
Verificação
1
Avaliação de Comunicabilidade
1
Inspeção Semiótica
1
Interação Humano-Computador
1
Model Checking
1
Software Tool
1
Stochastic Automata Networks
Data de submissão
1
2020
1
2013
2
2012