Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Letzte Überarbeitung Beide Seiten der Revision | ||
|
lehrstuhl:mitarbeiter:dernehl [2015/10/27 16:43] dernehl [Lehre] |
lehrstuhl:mitarbeiter:dernehl [2016/10/25 15:42] dernehl |
||
|---|---|---|---|
| Zeile 45: | Zeile 45: | ||
| | WS 2015/16 | Seminar Modellbasiertes Testen und Analyse eingebetteter Software | S | | | WS 2015/16 | Seminar Modellbasiertes Testen und Analyse eingebetteter Software | S | | ||
| | WS 2015/16 | Seminar Formale und semiformale Methoden für eingebettete Software | S | | | WS 2015/16 | Seminar Formale und semiformale Methoden für eingebettete Software | S | | ||
| + | | SS 2016 | NXT Programmierung mit Java | P | | ||
| + | | SS 2016 | Seminar Formale und semiformale Methoden für eingebettete Software | S | | ||
| + | | WS 2016/17 | Seminar Formale und semiformale Methoden für eingebettete Software | S | | ||
| + | |||
| + | |||
| + | ===== Sprechstunde ===== | ||
| + | |||
| + | Nach Vereinbarung | ||
| ===== Veröffentlichungen ===== | ===== Veröffentlichungen ===== | ||
| Zeile 52: | Zeile 60: | ||
| - | ===== Sprechstunde ===== | ||
| - | |||
| - | Nach Vereinbarung | ||