Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
lehrstuhl:mitarbeiter:mross [2021/05/06 15:24] mross [Lehre] |
lehrstuhl:mitarbeiter:mross [2021/05/06 16:39] mross [Forschung] |
||
---|---|---|---|
Zeile 23: | Zeile 23: | ||
===== Forschung===== | ===== Forschung===== | ||
- | Im Rahmen meiner Forschung beschäftige ich mich mit formalen Methoden im Kontext von graphischen Beschreibungsmitteln. Ein Fokus liegt hierbei auf automatisierter Erkennung von Entwurfsfehlern, insbesondere im Kontext von IEC 60848. | + | Im Rahmen meiner Forschung beschäftige ich mich mit formalen Methoden im Kontext von graphischen Beschreibungsmitteln. Ein Fokus liegt hierbei auf automatisierter Erkennung von Entwurfsfehlern, insbesondere auf Grundlage von IEC 60848. |
===== Abschlussarbeiten ===== | ===== Abschlussarbeiten ===== | ||