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:grochowski [2021/01/26 10:05] grochowski [Offene Abschlussarbeiten] |
lehrstuhl:mitarbeiter:grochowski [2021/03/19 22:24] grochowski [Offene HiWi Stelle] |
||
|---|---|---|---|
| Zeile 29: | Zeile 29: | ||
| ===== Offene HiWi Stelle ===== | ===== Offene HiWi Stelle ===== | ||
| - | * HiWi für {{:lehrstuhl:stellen:hiwis:hiwi_grochowski.pdf | Formale und semi-formale Methoden für Steuerungssoftware}} gesucht. | + | * HiWi für {{:lehrstuhl:stellen:hiwis:hiwi_ftd_grochowski.pdf | Industrie 4.0 Fischertechnik Demonstrator im Bereich Formale und semi-formale Methoden für Steuerungssoftware}} gesucht. gesucht. |
| ===== Abschlussarbeiten ===== | ===== Abschlussarbeiten ===== | ||
| Zeile 40: | Zeile 40: | ||
| ===== Laufende Abschlussarbeiten ===== | ===== Laufende Abschlussarbeiten ===== | ||
| + | * Statische Analyse für Steuerungssoftware im Internet der Produktion | ||
| + | * Testfallgenerierung für Steuerungssoftware im Internet der Produktion | ||
| ===== Abgeschlossene Abschlussarbeiten ===== | ===== Abgeschlossene Abschlussarbeiten ===== | ||
| * {{ :lehre:abschlussarbeiten:mg:planbarkeitsanalyse_einer_fertigungsanlage_mit_zeitbewerteten_modellen.pdf | (Bachelor) Planbarkeitsanalyse einer Fertigungsanlage mit zeitbewerteten Modellen }} | * {{ :lehre:abschlussarbeiten:mg:planbarkeitsanalyse_einer_fertigungsanlage_mit_zeitbewerteten_modellen.pdf | (Bachelor) Planbarkeitsanalyse einer Fertigungsanlage mit zeitbewerteten Modellen }} | ||