Contract-Based Compositional Scheduling Analysis for Evolving Systems

Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand. Contract-Based Compositional Scheduling Analysis for Evolving Systems. In Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro Cesar Zanella, Franz J. Rammig, editors, Embedded Systems: Design, Analysis and Verification - 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings. Volume 403 of IFIP Advances in Information and Communication Technology, pages 272-282, Springer, 2013. [doi]

Authors

Tayfun Gezgin

This author has not been identified. Look up 'Tayfun Gezgin' in Google

Stefan Henkler

This author has not been identified. Look up 'Stefan Henkler' in Google

Achim Rettberg

This author has not been identified. Look up 'Achim Rettberg' in Google

Ingo Stierand

This author has not been identified. Look up 'Ingo Stierand' in Google