COMMICS
Financiado
Presupuesto del proyecto
221K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Data Science
Cybersecurity Artificial Intelligence Cloud Computing Machine Learning
Cybersecurity Artificial Intelligence Cloud Computing Machine Learning
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#complexity management
#distributed systems
#criticality characteristics
#model-checkers
#theorem provers
#satisfiability modulo theories
#formal methods
Lider