A Conservative Approximation Method for the Verification of Preemptive Scheduling Using Timed Automata.
Gabor Madl, Nikil D. Dutt, Sherif Abdelwahed
VenueARTAS
Year2009
ProceedingsIEEE Real-Time and Embedded Technology and Applications Symposium
DBLP recordconf/rtas/MadlDA09 ↗
Browse the full RTAS paper archive.