Explora I+D+i UPV

Volver atrás Proyecto

ARTIFICIAL INTELLINGENCE FOR THE AUTOMATED SYNTHESIS AND VALIDATION OF PROGRAMS

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

2019

Organismo financiador

CONSELLERIA DE EDUCACION, INVESTIGACION, CULTURA Y DEPORTE

Tipo de proyecto

INV. COMPETITIVA PROYECTOS

Responsable científico

Jiménez Celorrio Sergio

Resumen