Defensas
"Metodología de Verificación, Detección de Errores y Generación de Casos de Prueba en Modelos RT-DEVS con Requisitos Temporales Cuantitativos"
estudiante: Gustavo Ariel González
Compartir:
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
Instituciones:
PEDECIBA, Universidad de la República
Lugar:
Videoconferencia
Fecha:
28/08/2025
Hora:
10:30
