Time-Accurate ASM as a Refinement Scheme for Worst-Case Execution Time Estimation in Hard Real-Time Systems.

Achraf Mguidich, Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton

Browse the full RTSS paper archive.