RiuNet repositorio UPV
:
Listar por palabra clave

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Verificación automática"

Mostrando ítems 1-2 de 2

Una plataforma para el uso combinado de procesadores en la demostración de la terminación de la reescritura

Martínez López, Alejandro (Universitat Politècnica de València, 2022-10-21)

[ES] Realizar una herramienta que demuestra la terminación de sistemas de reescritura utilizando el denominado Marco de Pares de Dependencia (\emph{DP Framework}) a partir de procesadores aportados por usuarios externos. ...
Verificación automática de un protocolo de voto electrónico

Acedo Arroyo, Josep Vicent (Universitat Politècnica de València, 2022-09-13)

[ES] La seguridad y transparencia de los procesos electores son la garantía fundamental de la voluntad popular. Sin ellos es imposible la construcción y el mantenimiento de la democracia. Las nuevas tecnologías van ...

Mostrando ítems 1-2 de 2