Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen Revision Vorhergehende Überarbeitung
Nächste Überarbeitung Beide Seiten der Revision
lehrstuhl:mitarbeiter:foerster [2017/12/03 12:13]
foerster [Lehre]
lehrstuhl:mitarbeiter:foerster [2017/12/03 12:14]
foerster [Lehre]
Zeile 75: Zeile 75:
 | W 2015/​16 ​ | [[lehre:​wise1516:​formal]] ​ |  S  |  ​ | W 2015/​16 ​ | [[lehre:​wise1516:​formal]] ​ |  S  |  ​
 | S 2015 | [[lehre:​sose15:​safetyreliability]] ​ |  V/Ü  |    ​ | S 2015 | [[lehre:​sose15:​safetyreliability]] ​ |  V/Ü  |    ​
-| W 2014/15 | [[lehre:​wise1415:​seminar]] (Unterthema:​ Model-driven development of control software for distributed automation) ​            ​| ​ S |+| W 2014/15 | [[lehre:​wise1415:​seminar]] (Unterthema:​ Model-driven development of control software for distributed automation) ​            ​| ​ S  |
 | :::                  | [[lehre:​wise1415:​psp]] (Versuch 5, Gemeinsamer Speicher) ​      ​| ​ P       | | :::                  | [[lehre:​wise1415:​psp]] (Versuch 5, Gemeinsamer Speicher) ​      ​| ​ P       |
 | S 2014    | [[lehre:​sose14:​safetyreliability]] ​      ​| ​ V/Ü     | | S 2014    | [[lehre:​sose14:​safetyreliability]] ​      ​| ​ V/Ü     |
-| W 2013/14 | [[lehre:​wise1314:​sespec]] ​               |  S |+| W 2013/14 | [[lehre:​wise1314:​sespec]] ​               |  S  |
 | :::                  | [[lehre:​wise1314:​psp]] (Versuch 5, Gemeinsamer Speicher) ​      ​| ​ P       | | :::                  | [[lehre:​wise1314:​psp]] (Versuch 5, Gemeinsamer Speicher) ​      ​| ​ P       |
 | S 2013    | [[lehre:​sose13:​safetyreliability]] ​      ​| ​ V/Ü     | | S 2013    | [[lehre:​sose13:​safetyreliability]] ​      ​| ​ V/Ü     |