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/20 14:49] mross |
lehrstuhl:mitarbeiter:mross [2023/10/23 13:22] mross [Ausschreibungen] |
||
---|---|---|---|
Zeile 24: | Zeile 24: | ||
===== Ausschreibungen ===== | ===== Ausschreibungen ===== | ||
- | {{ :lehrstuhl:stellen:i11-ausschreibung_2023_grafcet.pdf |}} | + | {{ :lehrstuhl:stellen:i11-ausschreibung_2023_grafcet.pdf | Analyse von GRAFCET-Spezifikationen}} |
===== 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: (momentan keine). | + | 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: |
+ | {{ :lehre:abschlussarbeiten:rm-ba-grafcet-modellverfeinerung-verifikation.pdf | Verfeinerung eines Modells zur Verifikation von IEC 60848 (GRAFCET) [Bachelorarbeit]}} | ||
+ | |||
+ | {{ :lehre:abschlussarbeiten:rm-ma-grafcet-petri-netz-reduktionen.pdf | Anwendung von Petri-Netz-Reduktionen auf IEC 60848 (GRAFCET) [Masterarbeit]}} | ||
+ | |||
+ | {{ :lehre:abschlussarbeiten:rm-ma-verifikation-grafcet-promela.pdf | Verifikation von IEC 60848 (GRAFCET) mit SPIN [Masterarbeit]}} | ||
===== Lehre ===== | ===== Lehre ===== | ||
| **Semester** | **Titel** | **Art** | | | **Semester** | **Titel** | **Art** | |