Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehre:abschlussarbeiten [2022/10/18 11:46] fonck [2022] |
lehre:abschlussarbeiten [2022/10/27 09:42] grochowski [Abschlussarbeiten] |
||
|---|---|---|---|
| Zeile 7: | Zeile 7: | ||
| \\ | \\ | ||
| * Einsatz formaler Methoden in der Entwicklung eingebetteter Software/Systeme: | * Einsatz formaler Methoden in der Entwicklung eingebetteter Software/Systeme: | ||
| - | * Anwendung formaler Verfahren im Kontext des Internet der Produktion (Ansprechpartner: [[lehrstuhl:mitarbeiter:grochowski]], [[lehrstuhl:mitarbeiter:henn]]) | + | * Anwendung formaler Verfahren im Kontext des Internet der Produktion (Ansprechpartner: [[lehrstuhl:mitarbeiter:henn]]) |
| * Analyse von SPS-Programmen (Ansprechpartner: [[lehrstuhl:mitarbeiter:mross]], [[lehrstuhl:mitarbeiter:voelker]]) | * Analyse von SPS-Programmen (Ansprechpartner: [[lehrstuhl:mitarbeiter:mross]], [[lehrstuhl:mitarbeiter:voelker]]) | ||
| * Analyse von graphischen Beschreibungsmitteln, insbesondere GRAFCET nach IEC 60848 (Ansprechpartner: [[lehrstuhl:mitarbeiter:mross]]) | * Analyse von graphischen Beschreibungsmitteln, insbesondere GRAFCET nach IEC 60848 (Ansprechpartner: [[lehrstuhl:mitarbeiter:mross]]) | ||