Proceedings of the Sixth Workshop on Intelligent Solutions in Embedded Systems
Book title Buchtitel
Proceedings of the Sixth Workshop on Intelligent Solutions in Embedded Systems
Publisher Herausgeber
IEEE Computer Society
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 |