 |
|
|||
@article{,
author = {Kai Lampka and Georgia Giannopoulou and Rodolfo Pellizzoni and Zheng Wu and Nikolay Stoimenov},
title = {A Formal Approach to the WCRT Analysis of Multicore Systems with Memory Contention under Phase-structured Task Sets},
journal = {Real-Time Systems},
number = {5},
pages = {736--773},
volume = {50},
month = {Nov},
year = {2014}
}
