Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
lehrstuhl:mitarbeiter:rakel [2018/09/28 13:41] chomicz [Laufende Abschlussarbeiten] |
lehrstuhl:mitarbeiter:rakel [2018/10/26 13:28] chomicz [Betreute Abschlussarbeiten] |
||
---|---|---|---|
Zeile 37: | Zeile 37: | ||
===== Betreute Abschlussarbeiten ===== | ===== Betreute Abschlussarbeiten ===== | ||
* {{ :lehre:abschlussarbeiten:ba_ma_sr_pc_technical_assumptions_safety_goals.pdf | Formalisierung von Technical Assumptions und Safety Goals}} | * {{ :lehre:abschlussarbeiten:ba_ma_sr_pc_technical_assumptions_safety_goals.pdf | Formalisierung von Technical Assumptions und Safety Goals}} | ||
- | * {{ :lehre:ba_pc_input_support.pdf | Eingabeunterstützung für kontrollierte Sprachen}} | + | * {{ :lehre:abschlussarbeiten:ba_pc_input_support.pdf | Eingabeunterstützung für kontrollierte Sprachen}} |
* {{ :lehre:abschlussarbeiten:pc:170915_ba_ma_evaluation_of_controlled_languages.pdf | Evaluation von kontrollierten Sprachen}} | * {{ :lehre:abschlussarbeiten:pc:170915_ba_ma_evaluation_of_controlled_languages.pdf | Evaluation von kontrollierten Sprachen}} | ||
* {{ :lehre:abschlussarbeiten:ba_pc_import_and_translation_of_legacy.pdf | Import und semi-automatische Übersetzung von alten Gefährdungsanalysen}} | * {{ :lehre:abschlussarbeiten:ba_pc_import_and_translation_of_legacy.pdf | Import und semi-automatische Übersetzung von alten Gefährdungsanalysen}} |