Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Subject "Operating systems"
Now showing items 1-1 of 1
-
Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas
(2013-03)Los sistemas computacionales juegan roles determinantes en muchas áreas de nuestra vida cotidiana. En algunos casos la dependencia hacia estos sistemas es crítica, y el mal funcionamiento de los mismos puede acarrear grandes ...