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

PID2021-122830OA-C44

Financiado

Presupuesto del proyecto 68K€

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

Software Cybersecurity
Formal Methods Mathematical Modeling Computer Security Digital Systems

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

#formal methods #computer systems #security #mathematical guarantees #reasoning #scalability #digital world #industry

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