Browsing Trabajos Especiales de Licenciaturas by Author "Marenchino, Matías Leandro"
Now showing items 1-2 of 2
-
Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
Marenchino, Matías Leandro (2011-03-18)El model checking es un método de verificación formal que permite verificar automáticamente si un modelo cumple una especificación. PRISM constituye una herramienta para realizar model checking de tipo probabilista. En ... -
Medidas difusas en procesamiento de imágenes
Marenchino, Matías Leandro (2013-08-09)El presente trabajo define formalmente el concepto de “medida difusa”, el cual generaliza a las medidas clásicas. A éstas nuevas medidas, les agregamos condiciones para obtener medidas λ-difusas, medidas de Sugeno y ...