TIN2009-14599-C03-01
Financiado
Presupuesto del proyecto
391K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Cybersecurity
Software Testing Data Analytics Artificial Intelligence Cloud Computing
Software Testing Data Analytics Artificial Intelligence Cloud Computing
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#high-quality software
#reliable software
#distributed systems
#secure software
#formal methods
#declarative programming
#verification
#validation
Lider