Knoop, Jens
Full name Familienname, Vorname
Knoop, Jens
Date issued
Fulltext
Results 1-1 of 1 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | ![]() | Knoop, Jens ; Kovács, Laura; Zwirchmayr, Jakob | Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds Using Symbolic Execution | Article Artikel | 2017 |