Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking.
Martin BeckerRavindra MettaR. VenkateshSamarjit ChakrabortyPublished in: Int. J. Softw. Tools Technol. Transf. (2019)
Keyphrases