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:mross [2021/04/13 13:23]
mross [Abschlussarbeiten]
lehrstuhl:mitarbeiter:mross [2021/05/06 15:17]
mross [Forschung]
Zeile 27: Zeile 27:
  
 Im Rahmen meiner Forschung beschäftige ich mich mit formalen Methoden im Kontext von graphischen Beschreibungsmitteln. Ein Fokus liegt hierbei auf automatisierter Erkennung von Entwurfsfehlern,​ insbesondere im Kontext von IEC 60848. Im Rahmen meiner Forschung beschäftige ich mich mit formalen Methoden im Kontext von graphischen Beschreibungsmitteln. Ein Fokus liegt hierbei auf automatisierter Erkennung von Entwurfsfehlern,​ insbesondere im Kontext von IEC 60848.
- 
- 
 ===== Abschlussarbeiten ===== ===== Abschlussarbeiten =====
  
Zeile 39: Zeile 37:
  
 | **Semester** ​        | **Titel** ​                                     | **Art** | | **Semester** ​        | **Titel** ​                                     | **Art** |
 +| SoSe 21    |[[lehre:​sose21:​proseminar]] ​            ​| ​   PS    |
 +| :::        |    [[lehre:​sose21:​seminar]] ​       |    S    |
 | WiSe 20    |[[lehre:​wise2021:​technische_informatik]] ​     |    V    | | WiSe 20    |[[lehre:​wise2021:​technische_informatik]] ​     |    V    |
 | ::: | [[lehre:​wise2021:​proseminar]] ​            ​| ​   PS    | | ::: | [[lehre:​wise2021:​proseminar]] ​            ​| ​   PS    |