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:15] mross [Lehre] |
lehrstuhl:mitarbeiter:mross [2021/05/06 15:17] mross [Forschung] |
||
|---|---|---|---|
| Zeile 27: | Zeile 27: | ||
| 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 im Kontext von IEC 60848. | ||
| - | |||
| - | |||
| ===== Abschlussarbeiten ===== | ===== Abschlussarbeiten ===== | ||