Innovating Works

VERIPROB

Financiado
Duración del proyecto: 26 meses Fecha Inicio: 2024-02-06
Fecha Fin: 2026-04-30
Finalizado
Presupuesto del proyecto 150K€

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

Palabras clave Extraídas de toda la información encontrada de este proyecto
#program verification #probabilistic programming #automated analysis #satisfiability checking #AI #big data #seismological activities #neural network training