Catálogo de publicaciones - tesis
Título de Acceso Abierto
Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial
Sergio Giro Pedro R. D'Argenio
acceptedVersion.
Resumen/Descripción – provisto por el repositorio digital
Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2010.Palabras clave – provistas por el repositorio digital
Performance analysis and design aids; Performance of systems; Análisis de ejecución y ayudas de diseño; Ejecución de los sistemas; Sistemas distribuidos
Disponibilidad
Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
---|---|---|---|---|
No requiere | 2010 | Repositorio Digital Universitario (SNRD) |
|
Información
Tipo de recurso:
tesis
Idiomas de la publicación
- español castellano
País de edición
Argentina
Fecha de publicación
2010