Innovating Works

STATOR

Financiado
Presupuesto del proyecto 1M€

Perfil tecnológico del proyecto Se calculan automáticamente a través de las palabras clave.
Software Cybersecurity
Software Testing Network Security Robotics Medical Devices

Palabras clave Extraídas de toda la información encontrada de este proyecto
#static analysis #software bugs #formal methods #mathematical proofs #automated testing #networked applications #security bugs #robotic surgeries