Time-Accurate ASM as a Refinement Scheme for Worst-Case Execution Time Estimation in Hard Real-Time Systems
Achraf Mguidich, V. Paun, B. Monsuez, P. Baufreton
2016IEEE Real-Time Systems Symposium0 citations
Semantic Scholar
Researcher profile · Semantic Scholar
Achraf Mguidich, V. Paun, B. Monsuez, P. Baufreton