Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

TIN2008-05624

Financiado

Presupuesto del proyecto 505K€

Perfil tecnológico del proyecto Se calculan automáticamente a través de las palabras clave.

Software
Software Testing Web Development Artificial Intelligence Cybersecurity

Palabras clave Extraídas de toda la información encontrada de este proyecto

#verifiable software #efficient software #programming languages #software reliability #static analysis #abstract interpretation #software development #program verification

Participantes

UPM

Lider

Últimas noticias

07-02-2025: Satélites y Sistemas... Se abre la línea de ayuda pública: Incentivos para el desarrollo de proyectos y actividades de investigación e innovación de nuevos satélites o sistemas satelitales en Andalucía para el organismo: IDEA

06-02-2025: Digitalización Pymes Se abre la línea de ayuda pública: Ayudas para la puesta en marcha por las pymes industriales madrileñas de proyectos de digitalización para el organismo:

05-02-2025: Cataluña Industria 4... Se abre la línea de ayuda pública: Préstamos en condiciones preferentes para la financiación de proyectos de inversión y desarrollo industrial para el organismo: ICF