Browsing Tesis de Doctorados by Author "Giro, Sergio Sebastián"
Now showing items 1-1 of 1
-
Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial
Giro, Sergio Sebastián (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 ...