Browsing Facultad de Matemática, Astronomía, Física y Computación by Subject "Performance analysis and design aids"
Now showing items 1-1 of 1
-
Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial
(2010-03)En esta tesis desarrollamos algoritmos y técnicas de análisis basadas en model checking para analizar la corrección de sistemas distribuidos con características aleatorias y no deterministas. Una contribución importante ...