Automatic Timing Model Generation by CFG Partitioning and Model Checking.

Ingomar Wenzel, Bernhard Rieder, Raimund Kirner, Peter P. Puschner

Browse the full DATE paper archive.