"CONTREX: Design of Embedded Mixed-Criticality CONTRol Systems under ..."

Ralph Görgen et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics