Memorias de investigación
Tesis:
A Unified Framework for Resource and Execution Time Analysis, Run-Time Checking and Unit-Testing (Un Marco Unificado para Análisis de Recursos y Tiempo de Ejecución, Validación Dinámica y Pruebas Unitarias)
Año:2010
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
Descripción
A Unified Framework for Resource and Execution Time Analysis, Run-Time Checking and Unit-Testing (Un Marco Unificado para Análisis de Recursos y Tiempo de Ejecución, Validación Dinámica y Pruebas Unitarias)
Internacional
No
ISBN
Tipo de Tesis
Doctoral
Calificación
Sobresaliente cum laude
Fecha
21/11/2010
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: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)