Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | |||
|
lehrstuhl:mitarbeiter:dernehl [2016/10/25 15:42] dernehl |
lehrstuhl:mitarbeiter:dernehl [2017/03/23 13:55] dernehl [Abschlussarbeiten] |
||
|---|---|---|---|
| Zeile 14: | Zeile 14: | ||
| |} | |} | ||
| - | ===== Abschlussarbeiten ===== | ||
| - | * {{:lehre:abschlussarbeiten:tg:ba_dhg_artshop_static_stateflow.pdf|Statische Analyse von Matlab/Simulink Stateflow-Charts}} | ||
| - | * {{:lehre:abschlussarbeiten:nh_bama_ws1516_staticsimulinkanalysis.pdf|Weiterentwicklung einer statischen Analyse für Simulink-Modelle}} | ||
| - | * [[:lehre:abschlussarbeiten:cd_stateflow_analysis]] | ||
| ===== Forschungsgebiete ===== | ===== Forschungsgebiete ===== | ||