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

VeriStab

Financiado

Presupuesto del proyecto 100K€

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

Embedded Systems Software
Control Systems Cybersecurity Automation Artificial Intelligence

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

#formal verification #stability #embedded control systems #model-checking #automated techniques

1 Participantes

IMDEA SOFTWARE INSTITUTE

Lider

Últimas noticias

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

05-02-2025: Estructuras y Sistem... Se abre la línea de ayuda pública: La Rioja Digitalización e Industria para el organismo:

05-02-2025: Actuaciones Moderniz... Se abre la línea de ayuda pública: Grandes actuaciones de inversión para la modernización de la estructura productiva y digital de la actividad industrial para el organismo: