TIN2010-20639
Financiado
Presupuesto del proyecto
44K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Cybersecurity
Software Testing Data Analytics Artificial Intelligence Computer Vision
Software Testing Data Analytics Artificial Intelligence Computer Vision
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#verification
#certification
#computer systems
#parameters
#scalability
#decidability
#model checking
#functional verification
Lider