Explora I+D+i UPV

Volver atrás Proyecto

Advanced symbolic methods for the cryptographic protocol analyzer Maude-NPA

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

2017

Organismo financiador

AIR FORCE OFFICE OF SCIENTIFIC RESEARCH

Tipo de proyecto

INV. COMPETITIVA PROYECTOS

Responsable científico

Escobar Román Santiago

Resumen

Ayuda de la Air Force Office of Scientific Research

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

  • Líneas de investigación

    Ingeniería del Software Testing

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

  • Software

    R-16970-2014 - TESTAR (Test*): Herramienta para el testeo...

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

  • Proyectos

    INTELLIGENT VERIFICATION/VALIDATION FOR EXTENDED REALITY ...

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

  • Proyectos

    UN METODO DE PRODUCCION DE SOFTWARE DIRIGIDO POR MODELOS ...

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