Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking
Crossref DOI link: https://doi.org/10.1007/s10009-018-0497-2
Published Online: 2018-06-11
Published Print: 2019-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Becker, Martin http://orcid.org/0000-0003-3195-0503
Metta, Ravindra
Venkatesh, R.
Chakraborty, Samarjit
Text and Data Mining valid from 2018-06-11
Article History
First Online: 11 June 2018