Browsing Tesis de Doctorados by Author "Hermanns, Holger"
Now showing items 1-2 of 2
-
Automatización de técnicas de división por importancia para la simulación de eventos raros
Budde, Carlos Esteban (2017-05)Existen muchas técnicas para estudiar y verificar descripciones formales de sistemas probabilistas. La simulación de Monte Carlo por eventos discretos ofrece una alternativa para la generalidad de procesos estocásticos ... -
Autómatas estocásticos para sistemas concurrentes y tolerantes a fallas
Monti, Raúl Enrique (2018-12)En esta tesis introducimos una nueva clase de autómata llamada Input/Output Stochastic Automata (IOSA). Los IOSA son composicionales, y los IOSA cerrados (sin acciones de entrada) son completamente deterministas y por lo ...