Items where Author is "Wenzel, I"

Number of items: 3.
  • Automatic timing model generation by CFG partitioning and model checking. (2005) I Wenzel, B Rieder, Raimund Kirner and P. Puschner
  • Impact of dependable software development guidelines on timing analysis. (2005) I Wenzel, Raimund Kirner, M. Schlager, B Rieder and B. Huber
  • Measurement-based worst-case execution time analysis. (2005) I Wenzel, Raimund Kirner, B Rieder and P. Puschner