Explora I+D+i UPV

Volver atrás Proyecto

TECNOLOGIA DECLARATIVA: APLICACION A LA RESOLUCION DE SISTEMAS LINEALES Y ANALISIS FORMAL DE REDES DE PETRI

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

Compartir
Año de inicio

2002

Organismo financiador

UPV. VICERRECTORADO DE INVESTIGACIÓN, DESARROLLO E INNOVACION

Tipo de proyecto

INV. COMPETITIVA PROYECTOS

Responsable científico

Vidal Oriola Germán Francisco

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

  • Servicios de I+D

    Evaluación automatizada de software

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

  • Líneas de investigación

    Ingeniería del Software Testing

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

  • Proyectos

    DESARROLLO ÁGIL DE SISTEMAS DESDE REQUISITOS A CÓDIGO

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