Explora I+D+i UPV

Volver atrás Proyecto

EUROPEAN RESEARCH NETWORK ON FORMAL PROOFS

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

2022

Organismo financiador

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMAT

Tipo de proyecto

RELACIÓN C. Y T. INTERNAC. COMPETIT.

Responsable científico

Villanueva García Alicia

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