[ACM Press the 15th ACM international conference - Beijing, China (2012.04.17-2012.04.19)] Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 - Optimal scheduling for constant-rate multi-mode systems
Alur, Rajeev, Trivedi, Ashutosh, Wojtczak, DominikYear:
2012
Language:
english
DOI:
10.1145/2185632.2185647
File:
PDF, 600 KB
english, 2012