Innovating Works

HYPER

Financiado
Duración del proyecto: 63 meses Fecha Inicio: 2022-07-28
Fecha Fin: 2027-10-31
Finalizado
Presupuesto del proyecto 2M€

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

Palabras clave Extraídas de toda la información encontrada de este proyecto
#hyperproperties #program properties #functional correctness #privacy #fairness #explainability #reactive systems