Skip navigation
Página inicial
Percorrer
Comunidades y
Colecciones
Vea ítems por:
Fecha de Publicación
Autor
Título
Assunto
Sobre
Sobre el Repositorio Institucional
Políticas de uso
FAQs (Preguntas Frecuentes)
Créditos
Estadísticas de Acceso
Registrarse para:
Mi Repositorio
Recibir actualizaciones
por correo
Editar perfil
Repositório PUCRS
Búsqueda
Búsqueda
Todo el Repositorio
DOCUMENTOS INSTITUCIONAIS
PUBLICAÇÕES CIENTÍFICAS
TRABALHOS DE CONCLUSÃO DE CURSO
por
Filtros actuales:
Título
Autor
Tema
Fecha de sumisión
Igual
Contiene
ID
Diferente
No Contiene
No ID
Título
Autor
Tema
Fecha de sumisión
Igual
Contiene
ID
Diferente
No Contiene
No ID
Título
Autor
Tema
Fecha de sumisión
Igual
Contiene
ID
Diferente
No Contiene
No ID
Título
Autor
Tema
Fecha de sumisión
Igual
Contiene
ID
Diferente
No Contiene
No ID
Comenzar una nueva búsqueda
Añadir filtros:
Use filtros para refinar los resultados de búsqueda.
Título
Autor
Tema
Fecha de sumisión
Igual
Contiene
ID
Diferente
No Contiene
No ID
Resultados 1-4 de 4 (Tiempo de búsqueda: 0.001 Segundos).
Anterior
1
Siguiente
Impacto del ítem:
Fecha de Publicación
Título
Autor(s)
2013
Geração de contraexemplos e testemunhas para um verificador de modelos descritos em redes de autômatos estocásticos
Correa, Claiton Marques
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
2013
Abordagens paralelas para Model Checking de redes de autômatos estocásticos
Oleksinski, Lucas Giaretta
Descubrimiento
Autor
1
Correa, Claiton Marques
1
Gil, Paulo Guilherme
1
Oleksinski, Lucas Giaretta
1
Wondracek, Alberto do Carmo Sulzb...
Tema
4
SIMULAÇÃO E MODELAGEM EM COMPUTAD...
1
CADEIAS DE MARKOV
1
LÓGICA TEMPORAL (COMPUTAÇÃO)
1
ÁLGEBRA TENSORIAL