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.