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
id I10-R14111086-136
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic 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
spellingShingle 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
Giro, Sergio
Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial /
topic_facet 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
description Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2010.
author2 D'Argenio, Pedro R.
author_facet D'Argenio, Pedro R.
Giro, Sergio
format doctoralThesis
author Giro, Sergio
author_sort Giro, Sergio
title Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial /
title_short Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial /
title_full Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial /
title_fullStr Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial /
title_full_unstemmed Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial /
title_sort sobre la verificación automática de autómatas probabilistas distribuidos con información parcial /
publishDate 2011
url http://hdl.handle.net/11086/136
work_keys_str_mv AT girosergio sobrelaverificacionautomaticadeautomatasprobabilistasdistribuidosconinformacionparcial
bdutipo_str Repositorios
_version_ 1764820393103720449

Ejemplares similares