Defenses
"Metodología de Verificación, Detección de Errores y Generación de Casos de Prueba en Modelos RT-DEVS con Requisitos Temporales Cuantitativos"
student: Gustavo Ariel González
Share:
Asesor Curricular: Dr. Héctor Cancela
Tutores de tesis: Dres. Maximiliano Cristiá y Carlos Luna
Tribunal evaluador:
Dr. Silvio Gonnet (revisor)
Dr. Ernesto Kofman (revisor)
Dra. Andrea Delgado (presidenta de mesa)
Dra. Libertad Tansini
Dr. Nazareno Aguirre
Institutions:
PEDECIBA, Universidad de la República
Place:
Videoconferencia
Date:
28/08/2025
Hour:
10:30
