Explora I+D+i UPV

Volver atrás Proyecto

FORMAL ANALYSIS AND VERIFICATION OF POST-QUANTUM CRYPTOGRAPHIC PROTOCOLS

Institut Universitari Valencià d'investigació en Intel·ligència Artificial

Imprimir
Compartir
¿Quieres contarnos tu reto? Pincha aquí y te ayudamos a encontrar una solución
Año de inicio

2021

Organismo financiador

AGENCIA ESTATAL DE INVESTIGACION

Tipo de proyecto

INV. COMPETITIVA PROYECTOS

Responsable científico

Escobar Román Santiago

Resumen

Más resultados en Institut Universitari Valencià d'investigació en Intel·ligència Artificial con la cadena de busqueda "Robots colaborativos"

  • Líneas de investigación

    Interacción humano-sistema auto-adaptativa

    Institut Universitari Valencià d'investigació en Intel·ligència Artificial