A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems

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]

Abstract

Abstract is missing.