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
