Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehrstuhl:mitarbeiter:bohlender [2018/01/10 13:51] bohlender [Lehre] |
lehrstuhl:mitarbeiter:bohlender [2018/03/05 09:33] bohlender [Offene Abschlussarbeiten] |
||
|---|---|---|---|
| Zeile 19: | Zeile 19: | ||
| ===== Offene Abschlussarbeiten ===== | ===== Offene Abschlussarbeiten ===== | ||
| - | Die folgende Liste ist ggf. nicht vollständig. Weitere Themenvorschläge für Bachelor- und Masterarbeiten können Sie auch direkt bei mir erfragen. Eigene Vorschläge sind ebenfalls möglich. | + | Aktuell liegen keine ausformulierten, offenen Abschlussarbeiten vor. Bei Interesse an formalen Methoden können wir aber zusammen geeignete Themen für Bachelor- und Masterarbeiten ausarbeiten. Eigene Vorschläge sind ebenfalls möglich. |
| \\ | \\ | ||
| \\ | \\ | ||
| - | |||
| - | * Bachelor/Master: {{:lehre:db_plc_bmc.pdf|Bounded Model Checking of Programmable Logic Control Software}} | ||