Scheduling Distributed Real-Time Systems by Satisfiability Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand. Scheduling Distributed Real-Time Systems by Satisfiability Checking. In 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 17-19 August 2005, Hong Kong, China. pages 409-415, IEEE Computer Society, 2005. [doi]

This author has not been identified. Look up 'Alexander Metzner' in GoogleThis author has not been identified. Look up 'Martin Fränzle' in GoogleThis author has not been identified. Look up 'Christian Herde' in GoogleThis author has not been identified. Look up 'Ingo Stierand' in Google

runs on WebDSL