Formal analysis of sporadic overload in real-time systems

Sophie Quinton, Matthias Hanke, Rolf Ernst. Formal analysis of sporadic overload in real-time systems. In Wolfgang Rosenstiel, Lothar Thiele, editors, 2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012. pages 515-520, IEEE, 2012. [doi]

Authors

Sophie Quinton

This author has not been identified. Look up 'Sophie Quinton' in Google

Matthias Hanke

This author has not been identified. Look up 'Matthias Hanke' in Google

Rolf Ernst

This author has not been identified. Look up 'Rolf Ernst' in Google