TIN2017-86217-R
Financiado
Presupuesto del proyecto
78K€
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
#program validation
#error detection
#verification platforms
#algorithms
#formal verification
#CAVI-ART
Lider