![[IEEE 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - San Francisco, CA, USA (2009.04.13-2009.04.16)] 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium - A Conservative Approximation Method for the Verification of Preemptive Scheduling Using Timed Automata]()
[IEEE 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - San Francisco, CA, USA (2009.04.13-2009.04.16)] 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium - A Conservative Approximation Method for the Verification of Preemptive Scheduling Using Timed AutomataMadl, Gabor; Dutt, Nikil; Abdelwahed, Sherif · 2009