MÉTODOS FORMALES ESCALABLES PARA APLICACIONES REALES

M�

Project information

ID: PID2021-122830OB-C42

Fecha inicio

01-11-2023

Fecha fin

01-12-2024

Institutional Coordinator

Financing

181 742,00 Euros

(Total amount or amount awarded)

More information in

Analysis of institutional authors

Sanamrad, Iraj NikolaiResearcherSapiña Sanchis, JuliaResearcherGarcía Valero, VíctorResearcherMehrbakhsh, BehzadResearcherPadró Ferragut, CristinaResearcherBarjau Estevan, Carlos SalvadorResearcherMartínez Plumed, FernandoResearcherRamírez Quintana, María JoséResearcherVillanueva García, AliciaResearcherFabra Boluda, RaúlResearcherFerri Ramírez, CésarResearcherMonserrat Aranda, CarlosResearcherEscobar Román, SantiagoPrincipal investigatorSchellaert, Wout Willy M.ResearcherHernández Orallo, JoséResearcherLucas Alba, SalvadorResearcher

October 10, 2024

R&D Projects

Competitive project

Researchers: Lucas Alba, Salvador (Investigador/a); Hernández Orallo, José (Investigador/a); Schellaert, Wout Willy M. (Investigador/a); Escobar Román, Santiago (Investigador principal (IP)); Monserrat Aranda, Carlos (Investigador/a); Ferri Ramírez, César (Investigador/a); Fabra Boluda, Raúl (Investigador/a); Villanueva García, Alicia (Investigador/a); Ramírez Quintana, María José (Investigador/a); MARTÍNEZ PLUMED, FERNANDO (Investigador/a); Barjau Estevan, Carlos Salvador (Investigador/a); Padró Ferragut, Cristina (Investigador/a); Mehrbakhsh, Behzad (Investigador/a); García Valero, Víctor (Investigador/a); Sapiña Sanchis, Julia (Investigador/a); Sanamrad, Iraj Nikolai (Investigador/a)

Affiliations

UPV. Escuela Técnica Superior de Ingeniería Informática (Escuela/Facultad)

UPV. Instituto Universitario Valenciano de Investigación en Inteligencia Artificial (Instituto)

UPV. Instituto Universitario de Investigación de Telecomunicación y Aplicaciones Multimedia (Instituto)

Project information

Financing

More information in

Analysis of institutional authors

Share