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) acceso abierto Descargá directamente

Información

Tipo de recurso:

tesis

Idiomas de la publicación

  • español castellano

País de edición

Argentina

Fecha de publicación