Documentation
Publications
- A. Terrasa
Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis
Lecture Notes in Computer Science Vol. 2968 pp. 466--485. (2004) Bibtex - L.A. Búrdalo, A. Espinosa, A. García-Fornes and A. Terrasa
Infraestructura en RT-Linux para la evaluación de políticas de planificación de tareas aperiódicas
IX Jornadas de Tiempo Real . (2006) Bibtex - A. Terrasa, A. Espinosa and A. García-Fornes
The POSIX Tracing Standard in Real-Time Environments
V Jornadas de Tiempo Real pp. 21-40. (2002) Bibtex