AutoTADes
Financiado
Duración del proyecto: 24 meses
Fecha Inicio: 2018-07-11
Fecha Fin: 2020-07-31
Finalizado
Fecha Fin: 2020-07-31
Finalizado
Presupuesto del proyecto
158K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Cybersecurity
Artificial Intelligence Data Analytics Embedded Systems Cloud Computing
Artificial Intelligence Data Analytics Embedded Systems Cloud Computing
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#Cyber-physical systems
#CPS
#automated design
#Timed Automata
#Metric Linear Temporal Logic
#specifications
#correctness
#optimality
Lider