{rfName}
PR

Project Information

ID: TIC 91-0425

Start date

01-07-1991

End date

01-07-1994


Financing

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

Scope

Country

Spain

Analysis of institutional authors

Ramírez Quintana, María JoséResearcherPastor López, OscarResearcherMota Herranz, LauraResearcherCasamayor Rodenas, Juan CarlosResearcherCanos Cerda, José HilarioResearcherOliver Villarroya, Francisco JavierResearcher

Share

October 10, 2024
R&D Projects
>
Competitive project
No

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

Researchers:

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)
[+]

Quality index

Financer

CICYT