SVIS
Financiado
Duración del proyecto: 97 meses
Fecha Inicio: 2017-09-18
Fecha Fin: 2025-10-31
Finalizado
Fecha Fin: 2025-10-31
Finalizado
Presupuesto del proyecto
1M€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Cybersecurity
Software Testing Formal Verification Safety-Critical Systems Computer Security
Software Testing Formal Verification Safety-Critical Systems Computer Security
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#formal verification
#correctness
#safety-critical tasks
#testing
#security
#methodology
Lider
291.33K€ |
Participante