Scheduling overload for real-time systems using SMT solver - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim. Scheduling overload for real-time systems using SMT solver. In Yihai Chen, editor, 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2016, Shanghai, China, May 30 - June 1, 2016. pages 189-194, IEEE Computer Society, 2016. [doi]

This author has not been identified. Look up 'Zhuo Cheng' in GoogleThis author has not been identified. Look up 'Haitao Zhang' in GoogleThis author has not been identified. Look up 'Yasuo Tan' in GoogleThis author has not been identified. Look up 'Yuto Lim' in Google

runs on WebDSL