Explora I+D+i UPV

Volver atrás Proyecto

Herramientas formales para la verificación de programas

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

Compartir
Año de inicio

2019

Organismo financiador

UPV. VICERRECTORADO DE INVESTIGACION

Tipo de proyecto

INV. COMPETITIVA PROYECTOS

Responsable científico

Gutiérrez Gil Raúl

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

  • Líneas de investigación

    Ingeniería de sistemas auto-adaptativos

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

  • Proyectos

    INGENIERIA DEL SOFTWARE AVANZADA PARA LA CONSTRUCCION DE ...

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