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
CE, 6º PM (IST IP 004033)
Nacionalidad Entidad
Sin nacionalidad
Tamaño de la entidad
Fecha concesión
Esta actividad pertenece a memorias de investigación
Participantes
  • participante: JUAN ZAMORANO
  • director: ERIC CONQUET
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Departamento: Arquitectura y Tecnología de Sistemas Informáticos