Browsing Tesis de Doctorado en Ciencias de la Computación by Subject "Ejecución de los sistemas"
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 ...