Proyecto de I+D

Project TIN2017-86217-R CAVI-ART-2

CAVI-ART-2: Validación asistida de programas mediante análisis anotaciones demostraciones matemáticas y pruebas de ejecución

Funder: Ministerio de Economía y Competitividad

Duration: from 01 January 2018 to 30 September 2021 (45 months) Finished

77,924.00 EUR

Of Local scope.

Call: (Ministerio de Economía y Competitividad)

Program: Ayudas a proyectos I+D+i del Programa Estatal de Investigación, desarrollo e Innovación Orientada a los Retos de la Sociedad. Convocatoria 2017.

Subprogram: Migración de Proyectos GUAI (desde 2000)

Leader

Leader