Browsing Tesis de Doctorado en Ciencias de la Computación by Subject "Verificación formal de sistemas"
Now showing items 1-1 of 1
-
Automatización de técnicas de división por importancia para la simulación de eventos raros
(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 ...