Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Verificació"

Mostrando ítems 1-4 de 4

Abstract Contract Synthesis and Verification in the Symbolic K Framework

Alpuente Frasnedo, María; Pardo Pont, Daniel; Villanueva García, Alicia (Universitat Politècnica de València, 2018-04-12)

[EN] In this article, we propose a symbolic technique that can be used for automatically inferring software contracts from programs that are written in a non-trivial fragment of C, called KernelC, that supports pointer-based ...
Desarrollo del plan de inocuidad de alimentos específico para la exportación a EEUU en empresa de bollería congelada

Grimalt Ferrer, Marina (Universitat Politècnica de València, 2018-09-19)

[ES] Las empresas que quieran exportar productos a EEUU deben tener un Plan de Inocuidad de Alimentos específico llevado a cabo mediante un Análisis de Peligros y Controles Preventivos Basado en Riesgo (HARPC). En este ...
Diseño e implementación de una herramienta de testeo automático para el middleware rCUDA

Díaz Román, Antonio (Universitat Politècnica de València, 2018-09-18)

[ES] La verificación es una etapa crítica en cualquier proyecto de desarrollo de software. El principal objetivo de la verificación es que el software que está siendo desarrollado se comporte conforme a su especificación ...
Estudio de verificación y mejora del sistema de limpieza de las instalaciones de una planta industrial destinada a la fabricación de productos lácteos

Puchalt Estellés, Amparo (Universitat Politècnica de València, 2024-10-01)

[ES] Este proyecto surge a raíz de unas prácticas en una empresa que dispone de una planta industrial que fabrica mas de 200 toneladas de productos lácteos al día. El origen de este trabajo radica en el cambio de uno de ...

Mostrando ítems 1-4 de 4

Listar por palabra clave "Verificació"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Verificació"