A Logics-based Framework for Hard Real-Time Embedded Systems Scheduling

CUSTODIO, M. M. ; BARRETO, R. S. ; CALDAS, R. B. ; MAGALHÃES NETTO, J. F. . A Logics-based Framework for Hard Real-Time Embedded Systems Scheduling. In: 9th Workshop on Real-Time Systems, 2007, Belém, PA. Workshop on Real-Time Systems (WTR'2007), 2007.

2007