"Property-Based Monitoring of Analog and Mixed-Signal Systems."

John Havlicek et al. (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics