User: Guest  Login
Title:

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

Document type:
Zeitschriftenaufsatz
Author(s):
Becker, Martin; Metta, Ravindra; Venkatesh, R.; Chakraborty, Samarjit
Journal title:
International Journal on Software Tools for Technology Transfer
Year:
2018
Journal volume:
Online First
Reviewed:
ja
Language:
en
Fulltext / DOI:
doi:10.1007/s10009-018-0497-2
WWW:
https://link.springer.com/article/10.1007%252Fs10009-018-0497-2
Publisher:
Springer Nature
E-ISSN:
1433-27791433-2787
Status:
Verlagsversion / published
Date of publication:
11.06.2018
TUM Institution:
Lehrstuhl für Realzeit-Computersysteme
 BibTeX
versions