Battery-Aware Scheduling of Mixed Criticality Systems

Erik Ramsgaard Wognsen, René Rydhof Hansen, Kim Guldstrand Larsen. Battery-Aware Scheduling of Mixed Criticality Systems. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. Volume 8803 of Lecture Notes in Computer Science, pages 208-222, Springer, 2014. [doi]

Authors

Erik Ramsgaard Wognsen

This author has not been identified. Look up 'Erik Ramsgaard Wognsen' in Google

René Rydhof Hansen

This author has not been identified. Look up 'René Rydhof Hansen' in Google

Kim Guldstrand Larsen

This author has not been identified. Look up 'Kim Guldstrand Larsen' in Google