Innovating Works

UnCoVerCPS

Financiado
Duración del proyecto: 50 meses Fecha Inicio: 2014-12-01
Fecha Fin: 2019-02-28
Finalizado
Presupuesto del proyecto 5M€

Perfil tecnológico del proyecto Se calculan automáticamente a través de las palabras clave.
Cybersecurity Software
Control Systems Embedded Systems Artificial Intelligence Robotics

Palabras clave Extraídas de toda la información encontrada de este proyecto
#cyber-physical systems #control and verification #safety-critical systems #development process #unknown environments #automated car #safety guarantees #on-the-fly synthesis