TIN2008-05624
Financiado
Presupuesto del proyecto
505K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Cybersecurity
Software Testing Artificial Intelligence Data Analytics Cloud Computing
Software Testing Artificial Intelligence Data Analytics Cloud Computing
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#verifiable software
#efficient software
#programming languages
#static analysis
#formal verification
#abstract interpretation
#software reliability
#critical applications
Lider