Luis Alejandro Corte s · 1 obras en el catálogoObrasVerification and scheduling techniques for real-time embedded systems