Maher Fakih, Kim Grüttner, Martin Fränzle, Achim Rettberg. Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs. 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 205-217, Springer, 2013. [doi]
@inproceedings{FakihGFR13,
title = {Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs},
author = {Maher Fakih and Kim Grüttner and Martin Fränzle and Achim Rettberg},
year = {2013},
doi = {10.1007/978-3-642-38853-8_19},
url = {http://dx.doi.org/10.1007/978-3-642-38853-8_19},
researchr = {https://researchr.org/publication/FakihGFR13},
cites = {0},
citedby = {0},
pages = {205-217},
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},
}