Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehrstuhl:mitarbeiter:mross [2023/10/23 13:21] mross [Abschlussarbeiten] |
lehrstuhl:mitarbeiter:mross [2023/10/23 13:43] mross [Ausschreibungen] |
||
|---|---|---|---|
| Zeile 23: | Zeile 23: | ||
| In 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. | In 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. | ||
| - | ===== Ausschreibungen ===== | + | ===== HiWi/WiHi Stellen ===== |
| - | {{ :lehrstuhl:stellen:i11-ausschreibung_2023_grafcet.pdf |}} | + | {{ :lehrstuhl:stellen:i11-ausschreibung_2023_grafcet.pdf | Analyse von GRAFCET-Spezifikationen}} |
| ===== Abschlussarbeiten ===== | ===== Abschlussarbeiten ===== | ||