RYC2020-028954-I
Financiado
Presupuesto del proyecto
324K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Cybersecurity
Software
Software Testing Information Security Network Security
Software Testing Information Security Network Security
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#formal verification
#security properties
#privacy properties
#software systems
Lider