Workshop on Intelligent Solutions in Embedded Systems (WISES'08)
Event name
Workshop on Intelligent Solutions in Embedded Systems (WISES'08)
Start date
10-07-2008
End date
11-07-2008
Location
Regensburg, Germany
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Rieder, Bernhard ; Puschner, Peter ; Wenzel, Ingomar | Using Model Checking to Derive Loop Bounds of General Loops within ANSI-C Applications for Measurement Based WCET Analysis | Konferenzbeitrag Inproceedings  | 2008 |