![]() |
|
@inproceedings{glst2012a, author = {Georgia Giannopoulou and Kai Lampka and Nikolay Stoimenov and Lothar Thiele}, title = {Timed Model Checking with Abstractions: Towards Worst-Case Response Time Analysis in Resource-Sharing Manycore Systems}, address = {Tampere, Finland}, booktitle = {Proc. International Conference on Embedded Software (EMSOFT)}, pages = {63--72}, publisher = {ACM}, month = {Oct}, year = {2012} }