"Metodología de verificación, detección de errores y generación de casos de prueba en modelos RT-DEVS con requisitos temporales cuantitativos"
Jueves 28/08/25 desde las 10:30hs
Por videoconferencia:
https://salavirtual-udelar.zoom.us/j/81871861762?pwd=P0tX5FclJzyHQCC0wMOamJmiafcvGb.1
