Reducción de orden parcial en model checking probabilista simbólico

Mostrar todas las versiones(2)

Tesis (Lic. 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:	Ferrer Fioriti, Luis María.
Otros Autores:	D'Argenio, Pedro R.
Formato:	bachelorThesis
Lenguaje:	Español
Publicado:	2011
Materias:	Software engineering Software Program verification Model checking Model checking simbólico Sistemas distribuidos Sistemas probabilistas Reducción de orden parcial
Acceso en línea:	http://hdl.handle.net/11086/27
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

id	I10-R14111086-27
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	Software engineering Software Program verification Model checking Model checking simbólico Sistemas distribuidos Sistemas probabilistas Reducción de orden parcial
spellingShingle	Software engineering Software Program verification Model checking Model checking simbólico Sistemas distribuidos Sistemas probabilistas Reducción de orden parcial Ferrer Fioriti, Luis María. Reducción de orden parcial en model checking probabilista simbólico
topic_facet	Software engineering Software Program verification Model checking Model checking simbólico Sistemas distribuidos Sistemas probabilistas Reducción de orden parcial
description	Tesis (Lic. 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. Ferrer Fioriti, Luis María.
format	bachelorThesis
author	Ferrer Fioriti, Luis María.
author_sort	Ferrer Fioriti, Luis María.
title	Reducción de orden parcial en model checking probabilista simbólico
title_short	Reducción de orden parcial en model checking probabilista simbólico
title_full	Reducción de orden parcial en model checking probabilista simbólico
title_fullStr	Reducción de orden parcial en model checking probabilista simbólico
title_full_unstemmed	Reducción de orden parcial en model checking probabilista simbólico
title_sort	reducción de orden parcial en model checking probabilista simbólico
publishDate	2011
url	http://hdl.handle.net/11086/27
work_keys_str_mv	AT ferrerfioritiluismaria reducciondeordenparcialenmodelcheckingprobabilistasimbolico
bdutipo_str	Repositorios
_version_	1764820395519639555

Reducción de orden parcial en model checking probabilista simbólico

Ejemplares similares