Memorias de investigación
Proyecto de I+D+i:
ASSERT: Automated proof based system and software engineering for real-time applications
Año:2005
Áreas de investigación
Datos
Descripción
Internacional
No
Tipo de proyecto
Proyectos competitivos de convocatorias públicas internacionales
Entidad financiadora
Unión Europea
Nacionalidad Entidad
Sin nacionalidad
Tamaño de la entidad
Fecha concesión
Esta actividad pertenece a memorias de investigación
Participantes
  • director: JUAN ANTONIO DE LA PUENTE ALFARO
  • participante: JOSÉ ANTONIO PULIDO PAVÓN
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Departamento: Ingeniería de Sistemas Telemáticos