Computing maximum blocking times with explicit path analysis under non-local flow bounds

Jan C. Kleinsorge, Peter Marwedel. Computing maximum blocking times with explicit path analysis under non-local flow bounds. In 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014. pages 1-10, IEEE, 2014. [doi]

Authors

Jan C. Kleinsorge

This author has not been identified. Look up 'Jan C. Kleinsorge' in Google

Peter Marwedel

This author has not been identified. Look up 'Peter Marwedel' in Google