Treffer: Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods

Titel:
Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods / Martin Becker ; Gutachter: Daniel Müller-Gritschneder, Marco Caccamo, Samarjit Chakraborty ; Betreuer: Samarjit Chakraborty
Verantwortlich:
Becker, Martin (Verfasser); Chakraborty, Samarjit (Akademischer Betreuer); Müller-Gritschneder, Daniel (Gutachter); Caccamo, Marco (Gutachter); Chakraborty, Samarjit (Gutachter)
Veröffent­licht:
München : Universitätsbibliothek der TU München, 2020
Umfang:
Online-Ressource
Publikationstyp:
E-Book
Sprache:
Englisch
Hochschul­schrift:
Dissertation, München, Technische Universität München, 2020
Schlagworte:

Zusatz-Informationen

Zusatz-Funktionen