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

Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Sistemas dinámicos