Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
About
About the Institutional Repository
Use Policy
FAQs (Frequently Asked Questions)
Credits
Access Statistics
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Repositório PUCRS
Search
Search:
All Repository
PUBLICAÇÕES CIENTÍFICAS
Apresentação em Evento
Artigo de Periódico
Capítulo de Livro
Dissertação e Tese
Livro
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 11-20 of 21 (Search time: 0.002 seconds).
previous
1
2
3
next
Item hits:
Issue Date
Title
Author(s)
2011
Proposta de uma representação tensorial para modelos markovianos ocultos
Espindola, Luciana da Silveira
2013
Algoritmo para conversão automática de modelos SAN GTA para modelos SAN CTA
Gil, Paulo Guilherme
2013
Tradução de modelos de redes de automatos estocásticos para a linguagem do NUSMV
Wondracek, Alberto do Carmo Sulzbacher
2008
Técnica para obtenção de redes de autômatos estocásticos baseada em especificações de software em UML
Neuwald, Felipe Barp
2010
Solução numérica de descritores markovianos a partir de re-estruturações de termos tensoriais
Czekster, Ricardo Melo
2016
Avaliação de desempenho de equipes de projetos de desenvolvimento de software através de modelos probabilísticos
Gomes, Marcelo Vasconcellos
2010
Método de conversão de diagrama de atividades UML para SAN e geração de casos de teste de software
Oliveira, Toni Amorim de
2008
Análise de padrões de mobilidade utilizando redes de autômatos estocásticos
Delamare, Fábio Longaray
2008
Utilização de diagramas de decisão multi-valorada para representação do espaço de estados atingível em redes de autômatos estocásticos
Scolari, Ana Paula Salengui
2006
Diminuição da intrusão do teste de software em programas paralelos
Amaral, Leonardo Albernaz
Explore
Author
1
Amaral, Leonardo Albernaz
1
Assunção, Joaquim Vinicius Carvalho
1
Barros, André de Almeida
1
Campos, Rafael Tweedie
1
Correa, Claiton Marques
1
Czekster, Ricardo Melo
1
Delamare, Fábio Longaray
1
Espindola, Luciana da Silveira
1
Gil, Paulo Guilherme
1
Gomes, Marcelo Vasconcellos
.
next ►
Subject
10
SIMULAÇÃO E MODELAGEM EM COMPUTAD...
6
ENGENHARIA DE SOFTWARE
4
AVALIAÇÃO DE DESEMPENHO (INFORMÁT...
3
REDES DE COMPUTADORES
3
SOFTWARE - AVALIAÇÃO
2
ALGORITMOS
2
CADEIAS DE MARKOV
2
CADEIAS DE MARKOV - COMPUTAÇÃO
2
UML (INFORMATICA)
1
ADMINISTRAÇÃO DE PROJETOS
.
next ►
Issue Date
2
2016
4
2013
2
2012
2
2011
3
2010
2
2009
3
2008
1
2007
2
2006