"Safety-oriented mixed-signal verification of automotive power devices in a ..."

Sebastian Simon et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics