Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
lehrstuhl:mitarbeiter:dernehl [2013/04/30 15:04] dernehl [Lehre] |
lehrstuhl:mitarbeiter:dernehl [2013/12/07 20:15] dernehl [Forschungsgebiete] |
||
---|---|---|---|
Zeile 17: | Zeile 17: | ||
* Autonomie und Flugführung für Kleinstfluggeräte (MAVs) | * Autonomie und Flugführung für Kleinstfluggeräte (MAVs) | ||
+ | * Statische Analye von Blockdiagrammen | ||
+ | * Model Checking von Blockdiagrammen | ||
===== Projekte ===== | ===== Projekte ===== | ||
Zeile 27: | Zeile 29: | ||
^ Semester ^ Titel ^ Art ^ | ^ Semester ^ Titel ^ Art ^ | ||
| SS 2012 | Praktikum Systemprogrammierung | P | | | SS 2012 | Praktikum Systemprogrammierung | P | | ||
- | | WS 2013 | Einführung in die technische Informatik | V/Ü | | + | | WS 2012/13 | Einführung in die technische Informatik | V/Ü | |
+ | | WS 2013/14 | Einführung in die technische Informatik | V/Ü | | ||
===== Veröffentlichungen ===== | ===== Veröffentlichungen ===== |