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:20]
obster [Forschungsgebiete]
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 30: Zeile 30:
 | Wintersemester 13/14 | [[lehre:​wise1314:​psp]] ​        ​| ​   P     | | Wintersemester 13/14 | [[lehre:​wise1314:​psp]] ​        ​| ​   P     |
 | Sommersemester 14    | [[lehre:​sose14:​psp]] ​          ​| ​   P     | | Sommersemester 14    | [[lehre:​sose14:​psp]] ​          ​| ​   P     |
-| :::     ​| [[lehre:​ss14:​sposxt]] ​         |    P     | +| :::                  | [[lehre:​ss14:​sposxt]] ​         |    P     | 
-| :::     | [[lehre:sose14:scadasecurity]] |    S     |+Wintersemester 14/15 | [[lehre:wise1415:psp]]         ​| ​   P     | 
 +:::                  | [[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 =====