Monitoring properties of analog and mixed-signal circuits

Oded Maler, Dejan Nickovic. Monitoring properties of analog and mixed-signal circuits. STTT, 15(3):247-268, 2013. [doi]

Abstract

Abstract is missing.