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/10/20 12:42] mross [Lehre] |
lehrstuhl:mitarbeiter:mross [2021/11/09 16:47] mross [Abschlussarbeiten] |
||
|---|---|---|---|
| Zeile 25: | Zeile 25: | ||
| 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. | ||
| ===== Abschlussarbeiten ===== | ===== Abschlussarbeiten ===== | ||
| - | Im Rahmen meiner Forschungstätigkeit ergeben sich kontinuierlich geeignete Themen für Abschlussarbeiten. Bei Interesse bitte ich um Kontaktaufnahme per E-Mail oder persönlich bei mir im Büro. Eigene Vorschläge sind ebenfalls möglich. Aktuell ausgeschriebene Abschlussarbeiten: | + | Im Rahmen meiner Forschungstätigkeit ergeben sich kontinuierlich geeignete Themen für Abschlussarbeiten. Bei Interesse bitte ich um Kontaktaufnahme per E-Mail oder persönlich bei mir im Büro. Eigene Vorschläge sind ebenfalls möglich. Aktuell ausgeschriebene Abschlussarbeiten: (momentan keine). |
| - | + | ||
| - | * {{ :lehre:abschlussarbeiten:ausschreibung_bachelorarbeit_arcade_grafcet_darstellungsimplementierung.pdf | Implementierung und Evaluation einer intermediären Repräsentation von IEC 60848 (GRAFCET)}} | + | |
| - | + | ||
| - | + | ||
| ===== Lehre ===== | ===== Lehre ===== | ||