Dies ist eine alte Version des Dokuments!
Wissenschaftlicher Mitarbeiter
Tel. +49 241 80 21174
Fax +49 241 80 22150
Email: bohlender[at]embedded[dot]rwth-aachen[dot]de
Adresse: Ahornstr. 55, 52074 Aachen, Germany
Büro: Raum 2325 (Gebäude H)
Aktuell liegen keine ausformulierten, offenen Abschlussarbeiten vor. Bei Interesse an formalen Methoden können wir aber zusammen geeignete Themen für Bachelor- und Masterarbeiten ausarbeiten. Eigene Vorschläge sind ebenfalls möglich.
Semester | Titel | Art |
---|---|---|
SS 18 | Formale und semiformale Methoden für eingebettete Software | S |
WS 17/18 | Formale Methoden für Steuerungssoftware | V |
SS 17 | Formale und semiformale Methoden für eingebettete Software | S |
WS 15/16 | Formale und semiformale Methoden für eingebettete Software | S |
WS 15/16 | Formale Methoden für Steuerungssoftware | V |
SS 15 | Formale und semiformale Methoden für eingebettete Software | S |