[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
Madl, Gabor, Dutt, Nikil, Abdelwahed, SherifYear:
2009
Language:
english
DOI:
10.1109/RTAS.2009.32
File:
PDF, 507 KB
english, 2009