{rfName}
PR

Información del proyecto

ID: TIC 91-0425

Fecha inicio

01-07-1991

Fecha fin

01-07-1994


Financiación

59 500,00 Euros
(Total amount or amount awarded)

Ámbito

País

Spain

Investigadores/as Institucionales

Ramírez Quintana, María JoséInvestigador/aPastor López, OscarInvestigador/aMota Herranz, LauraInvestigador/aCasamayor Rodenas, Juan CarlosInvestigador/aCanos Cerda, José HilarioInvestigador/aOliver Villarroya, Francisco JavierInvestigador/a

Compartir

10 de octubre de 2024
Proyectos I+D+I y Ayudas
>
Proyecto Competitivo
No

PROTESIS (Técnicas formales de Especificación Prototipación Automática, Programación Lógica e Integración de Paradigmas)

Investigadores/as:

Casamayor Rodenas, Juan Carlos (Investigador/a); Mota Herranz, Laura (Investigador/a); Pastor López, Oscar (Investigador/a); Ramírez Quintana, María José (Investigador/a); Oliver Villarroya, Francisco Javier (Investigador/a); Canos Cerda, José Hilario (Investigador/a)
[+]

Indicios de calidad

Agencias financiadoras

CICYT