A Conservative Approximation Method for the Verification of Preemptive Scheduling Using Timed Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gabor Madl, Nikil Dutt, Sherif Abdelwahed. A Conservative Approximation Method for the Verification of Preemptive Scheduling Using Timed Automata. In 15th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2009, San Francisco, CA, USA, 13-16 April 2009. pages 255-264, IEEE Computer Society, 2009. [doi]

This author has not been identified. Look up 'Gabor Madl' in GoogleThis author has not been identified. Look up 'Nikil Dutt' in GoogleThis author has not been identified. Look up 'Sherif Abdelwahed' in Google

runs on WebDSL