Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehre:abschlussarbeiten [2023/11/16 11:02] fonck [Laufende Abschlussarbeiten] |
lehre:abschlussarbeiten [2023/11/20 14:11] henn [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: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]]) | ||