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 [2023/10/23 13:43] mross [Ausschreibungen] |
lehrstuhl:mitarbeiter:mross [2023/12/21 10:52] mross [Abschlussarbeiten] |
||
|---|---|---|---|
| Zeile 28: | Zeile 28: | ||
| ===== 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: | ||
| - | |||
| - | {{ :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:abschlussarbeiten:rm-ma-verifikation-grafcet-promela.pdf | Verifikation von IEC 60848 (GRAFCET) mit SPIN [Masterarbeit]}} | ||