Innovating Works

CHORDS

Financiado
Duración del proyecto: 64 meses Fecha Inicio: 2023-04-18
Fecha Fin: 2028-08-31
Finalizado
Presupuesto del proyecto 2M€

Perfil tecnológico del proyecto Se calculan automáticamente a través de las palabras clave.
Software Cybersecurity
Software Testing Artificial Intelligence Data Analytics Computer Science

Palabras clave Extraídas de toda la información encontrada de este proyecto
#software systems #program verification #formal methods #security breaches #concurrent systems #distributed systems #semantic models #mathematical proofs