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 [2012/04/10 12:46] dernehl |
lehrstuhl:mitarbeiter:dernehl [2013/12/07 20:15] dernehl [Forschungsgebiete] |
||
|---|---|---|---|
| Zeile 2: | Zeile 2: | ||
| {| | {| | ||
| |- | |- | ||
| + | ||{{:lehrstuhl:mitarbeiter:dernehl.jpg?nolink&200|}} | ||
| || Wissenschaftlicher Mitarbeiter\\ | || Wissenschaftlicher Mitarbeiter\\ | ||
| Zeile 16: | 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 26: | Zeile 29: | ||
| ^ Semester ^ Titel ^ Art ^ | ^ Semester ^ Titel ^ Art ^ | ||
| | SS 2012 | Praktikum Systemprogrammierung | P | | | SS 2012 | Praktikum Systemprogrammierung | P | | ||
| + | | WS 2012/13 | Einführung in die technische Informatik | V/Ü | | ||
| + | | WS 2013/14 | Einführung in die technische Informatik | V/Ü | | ||
| ===== Veröffentlichungen ===== | ===== Veröffentlichungen ===== | ||