Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking

Dokumenttyp:: Zeitschriftenaufsatz
Autor(en):: Becker, Martin; Metta, Ravindra; Venkatesh, R.; Chakraborty, Samarjit
Titel:: Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking
Zeitschriftentitel:: International Journal on Software Tools for Technology Transfer
Jahr:: 2018
Band / Volume:: Online First
Reviewed:: ja
Sprache:: en
Volltext / DOI:: doi:10.1007/s10009-018-0497-2
WWW:: https://link.springer.com/article/10.1007%252Fs10009-018-0497-2
Verlag / Institution:: Springer Nature
E-ISSN:: 1433-27791433-2787
Status:: Verlagsversion / published
Publikationsdatum:: 11.06.2018
TUM Einrichtung:: Lehrstuhl für Realzeit-Computersysteme
BibTeX

Versionen

Vorkommen: