Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
lehrstuhl:mitarbeiter:dernehl [2015/10/27 16:43] dernehl [Lehre] |
lehrstuhl:mitarbeiter:dernehl [2016/07/16 14:58] dernehl [Lehre] |
||
---|---|---|---|
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 | | ||
===== Veröffentlichungen ===== | ===== Veröffentlichungen ===== | ||