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]
@inproceedings{GezginHRS13,
title = {Contract-Based Compositional Scheduling Analysis for Evolving Systems},
author = {Tayfun Gezgin and Stefan Henkler and Achim Rettberg and Ingo Stierand},
year = {2013},
doi = {10.1007/978-3-642-38853-8_25},
url = {http://dx.doi.org/10.1007/978-3-642-38853-8_25},
researchr = {https://researchr.org/publication/GezginHRS13},
cites = {0},
citedby = {0},
pages = {272-282},
booktitle = {Embedded Systems: Design, Analysis and Verification - 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings},
editor = {Gunar Schirner and Marcelo Götz and Achim Rettberg and Mauro Cesar Zanella and Franz J. Rammig},
volume = {403},
series = {IFIP Advances in Information and Communication Technology},
publisher = {Springer},
isbn = {978-3-642-38852-1},
}