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 formal"

Mostrando ítems 1-2 de 2

Modelado y verificación del mecanismo de encapsulación de claves post-cuánticas KYBER usando Maude

García Valero, Víctor (Universitat Politècnica de València, 2022-09-23)

[ES] Las tecnologías de la información y la comunicación dan forma a los sistemas del mundo de hoy, y esos sistemas dan forma a la sociedad en la que vivimos. La seguridad de esos sistemas se basa en problemas matemáticos ...
Symbolic Analysis of Control Models for Autonomous Driving

Padró Ferragut, Cristina (Universitat Politècnica de València, 2022-10-11)

[ES] Se prevé que los vehículos sean completamente autónomos para 2040, lo que previsiblemente aportará beneficios considerables a la sociedad. Los vehículos autónomos (AV) dependen en gran medida de los avances en muchas ...

Mostrando ítems 1-2 de 2