Luis Alejandro Corte s

• Verification and scheduling techniques for real-time embedded systems