ALGOCERT
Financiado
Duración del proyecto: 26 meses
Fecha Inicio: 2019-04-29
Fecha Fin: 2021-07-14
Finalizado
Fecha Fin: 2021-07-14
Finalizado
Presupuesto del proyecto
185K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Cybersecurity
Software Testing Artificial Intelligence Data Analytics
Software Testing Artificial Intelligence Data Analytics
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#certifiable algorithms
#explainable algorithms
#verification
#planning
#cyber physical systems
#model checking
#mathematical reasoning
#algorithmic analysis
Lider