3rd Joint Meeting of EU FP7 COST Action IC1202 Timing Analysis on Code-Level (TACLe)

Event name
3rd Joint Meeting of EU FP7 COST Action IC1202 Timing Analysis on Code-Level (TACLe)
 
Event type
Event for scientific audience
 
Start date
23-01-2014
End date
24-01-2014
 
Location
Vienna
Country
Austria
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen



Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob Replacing Conjectures by Positive Knowledge: Inferring and Proving Precision of Worst-Case Execution Time Bounds using Symbolic ExecutionPr√§sentation Presentation2014