Publications
Found 1 results
Filters: Author is Altmeyer, Sebastian and Keyword is Timing verification [Clear All Filters]
, “Static probabilistic timing analysis for real-time systems using random replacement caches”, Real-Time Systems, vol. 51, pp. 77-123, 2015.
