Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
|
lehrstuhl:mitarbeiter:foerster [2018/07/15 20:43] foerster [Forschung] |
lehrstuhl:mitarbeiter:foerster [2018/12/18 13:51] foerster |
||
|---|---|---|---|
| Zeile 36: | Zeile 36: | ||
| #;; | #;; | ||
| #;; | #;; | ||
| - | Das Projekt hat zum Ziel, Anforderungen bereits in der Entwurfsphase auf Korrektheit und Widerspruchsfreiheit zu untersuchen, ohne auf eine Implementierung angewiesen zu sein. | + | Es hat zum Ziel, Anforderungen bereits in der Entwurfsphase auf Korrektheit und Widerspruchsfreiheit zu untersuchen, ohne auf eine Implementierung angewiesen zu sein. |
| #;; | #;; | ||
| \\ | \\ | ||
| Zeile 66: | Zeile 66: | ||
| * Auf Anfrage; eigene Themenvorschläge sind ebenfalls möglich. | * Auf Anfrage; eigene Themenvorschläge sind ebenfalls möglich. | ||
| - | \\ | ||
| - | ===== Betreute Abschlussarbeiten ===== | ||
| - | |||
| - | * {{:lehre:abschlussarbeiten:poster_mf_iso-26262_a4.pdf|A conceptual framework and tool for ISO 26262 compliance}} | ||
| \\ | \\ | ||
| ===== Lehre ===== | ===== Lehre ===== | ||