"Automatic transition between structural system views in a safety relevant ..."

Christian Ellen, Christoph Etzien, Markus Oertel (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics