Diseño y verificación de sistemas de tiempo real heterogéneos
Francisco Ezequiel Páez.
2020.
xxi, 162 págs. : ilustraciones ; 30 cm.
Director de tesis: Javier D. Orozco; codirección: Pablo Fillottrani.
"Tesis de Doctorado en Ciencias de la Computación".
Tesis (doctoral)--Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación, 2021.
Disponible también en formato digital la portada, resumen y abstract (en período de teletrabajo).
Incluye referencias bibliográficas.