Claire Maiza, Hamza Rihani, Juan Maria Rivas, Joël Goossens, Sebastian Altmeyer, Robert I. Davis. A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems. ACM Computing Surveys, 52(3), 2019. [doi]
@article{MaizaRRGAD19, title = {A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems}, author = {Claire Maiza and Hamza Rihani and Juan Maria Rivas and Joël Goossens and Sebastian Altmeyer and Robert I. Davis}, year = {2019}, doi = {10.1145/3323212}, url = {https://doi.org/10.1145/3323212}, researchr = {https://researchr.org/publication/MaizaRRGAD19}, cites = {0}, citedby = {0}, journal = {ACM Computing Surveys}, volume = {52}, number = {3}, }