Sauer, Matthias profile picture

Sauer, Matthias

Testing Time - Time to Test? Using Formal Methods for the Timing Analysis of Digital Circuits