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

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2011.

Bibliographic Details
Main Author: Bordenabe, Nicolas Emilio
Other Authors: D'Argenio, Pedro Ruben
Format: bachelorThesis
Language:spa
Published: 2011
Subjects:
Online Access:http://hdl.handle.net/11086/57