Search
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 ...