Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial /

Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2010.

Guardado en:

Detalles Bibliográficos
Autor principal:	Giro, Sergio
Otros Autores:	D'Argenio, Pedro R.
Formato:	doctoralThesis
Lenguaje:	Español
Publicado:	2011
Materias:	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
Acceso en línea:	http://hdl.handle.net/11086/136
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Descripción
Sumario:	Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2010.

Ejemplares similares