OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas

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, 2011.

Guardado en:
Detalles Bibliográficos
Autor principal: Bordenabe, Nicolas Emilio
Otros Autores: D'Argenio, Pedro R.
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2011
Materias:
Software / Program Verification
Model checking
Sistema tolerante a fallas
Verificación formal
Acceso en línea:http://hdl.handle.net/11086/57
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
Descripción
Sumario:Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2011.

Ejemplares similares