Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen Revision Vorhergehende Überarbeitung
Nächste Überarbeitung
Vorhergehende Überarbeitung
Nächste Überarbeitung Beide Seiten der Revision
lehrstuhl:mitarbeiter:obster [2014/10/10 09:24]
obster [Lehre]
lehrstuhl:mitarbeiter:obster [2015/09/07 10:51]
obster [Lehre]
Zeile 1: Zeile 1:
-====== Mathias Obster, M.Sc. ======+====== Mathias Obster, M.Sc. RWTH ======
 ~~NOTOC~~ ~~NOTOC~~
 \\ \\
Zeile 18: Zeile 18:
 ===== Forschungsgebiete ===== ===== Forschungsgebiete =====
  
-  * Analyse von SPS-Programmen während der Eingabe+  * Analyse von SPS-Programmen während der Eingabe ​(Statische Analyse)
   * Software-SPS   * Software-SPS
   * IEC-61131 Sprachen   * IEC-61131 Sprachen
Zeile 33: Zeile 33:
 | Wintersemester 14/15 | [[lehre:​wise1415:​psp]] ​        ​| ​   P     | | Wintersemester 14/15 | [[lehre:​wise1415:​psp]] ​        ​| ​   P     |
 | :::                  | [[lehre:​wise1415:​seminar]] ​    ​| ​   S     | | :::                  | [[lehre:​wise1415:​seminar]] ​    ​| ​   S     |
 +| Sommersemester 15    | [[https://​www3.elearning.rwth-aachen.de/​ss15/​15ss-50882|Ausgesuchte Themen zur Eingebetteten Software]] |  S  |
 +| Wintersemester 15/16 | [[lehre:​wise1516:​medizin_emobilitaet]] |    S     |
 +| :::                  | [[lehre:​wise1516:​formal]] ​     |    S     |
 +| :::                  | [[lehre:​wise1516:​mbt]] ​        ​| ​   S     |
  
 ===== Sommerfest 2014 ===== ===== Sommerfest 2014 =====