%0 Thesis %1 phd/dnb/Becker20 %A Becker, Martin %D 2020 %K dblp %T Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods.

@phdthesis{phd/dnb/Becker20, added-at = {2021-07-17T00:00:00.000+0200}, author = {Becker, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2e8682412b0e1c3e545e21e1b8385f34b/dblp}, ee = {https://d-nb.info/1220319732}, interhash = {8ede583179cc49ec43e27bfb4aea5f4b}, intrahash = {e8682412b0e1c3e545e21e1b8385f34b}, keywords = {dblp}, school = {Technical University of Munich, Germany}, timestamp = {2024-04-09T08:24:23.000+0200}, title = {Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods.}, year = 2020 }