Observatorio de I+D+i UPM

Memorias de investigación
Tesis:
Técnicas para el análisis de la consistencia de modelos en el desarrollo de software embarcado. Evaluación del riesgo de interbloqueo.
Año:2010
Áreas de investigación
  • Ingeniería aeronaútica
Datos
Descripción
Uno de los grandes problemas que tienen las empresas que desarrollan sistemas intensivos en software es el elevado coste que suponen las tareas de verificación y de mantenimiento correctivo asociado
Internacional
No
ISBN
Tipo de Tesis
Doctoral
Calificación
Sobresaliente cum laude
Fecha
Esta actividad pertenece a memorias de investigación
Participantes
  • Director: Jose Luis Fernandez Sanchez (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Sistemas dinámicos
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)