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 Sebastián
Otros Autores: D'Argenio, Pedro Ruben
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

Ejemplares similares

Ejemplares similares