%0 Journal Article %1 journals/csur/MaizaRRGAD19 %A Maiza, Claire %A Rihani, Hamza %A Rivas, Juan Maria %A Goossens, Joël %A Altmeyer, Sebastian %A Davis, Robert I. %D 2019 %J ACM Comput. Surv. %K dblp %N 3 %P 56:1-56:38 %T A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems. %U http://dblp.uni-trier.de/db/journals/csur/csur52.html#MaizaRRGAD19 %V 52

@article{journals/csur/MaizaRRGAD19, added-at = {2022-08-30T00:00:00.000+0200}, author = {Maiza, Claire and Rihani, Hamza and Rivas, Juan Maria and Goossens, Joël and Altmeyer, Sebastian and Davis, Robert I.}, biburl = {https://www.bibsonomy.org/bibtex/22856143e59788c6207f12f160c1245e8/dblp}, ee = {https://doi.org/10.1145/3323212}, interhash = {0fe3db21cb8fbb5ab7cc5edde9b34163}, intrahash = {2856143e59788c6207f12f160c1245e8}, journal = {ACM Comput. Surv.}, keywords = {dblp}, number = 3, pages = {56:1-56:38}, timestamp = {2024-04-09T00:51:43.000+0200}, title = {A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/journals/csur/csur52.html#MaizaRRGAD19}, volume = 52, year = 2019 }