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 Ruben
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

Ejemplares similares

Ejemplares similares